Información del autor
Autor Sako, Kazue |
Documentos disponibles escritos por este autor (7)
Crear una solicitud de compra Refinar búsqueda19th International Conference, ACNS 2021, Kamakura, Japan, June 21–24, 2021, Proceedings, Part I / Sako, Kazue ; Tippenhauer, Nils Ole
TÃtulo : 19th International Conference, ACNS 2021, Kamakura, Japan, June 21–24, 2021, Proceedings, Part I Tipo de documento: documento electrónico Autores: Sako, Kazue, ; Tippenhauer, Nils Ole, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2021 Número de páginas: XIV, 482 p. 72 ilustraciones, 21 ilustraciones en color. ISBN/ISSN/DL: 978-3-030-78372-3 Nota general: Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. Idioma : Inglés (eng) Palabras clave: Protección de datos IngenierÃa Informática Red de computadoras TeorÃa de la codificación TeorÃa de la información Software de la aplicacion Sistemas operativos (computadoras) Seguridad de datos e información IngenierÃa Informática y Redes TeorÃa de la codificación y la información Aplicaciones informáticas y de sistemas de información Sistemas operativos Clasificación: 005.8 Ciencia de los computadores (Programación, programas de sistemas) Resumen: El conjunto de dos volúmenes LNCS 12726 + 12727 constituye las actas de la 19.ª Conferencia internacional sobre criptografÃa aplicada y seguridad de redes, ACNS 2021, que se celebró de forma virtual del 21 al 24 de junio de 2021. Los 37 artÃculos completos presentados en las actas fueron cuidadosamente revisados ​​y seleccionados de un total de 186 presentaciones. Se organizaron en secciones temáticas de la siguiente manera: Parte I: Protocolos criptográficos; protocolos seguros y justos; criptomonedas y contratos inteligentes; firmas digitales; seguridad de sistemas integrados; criptografÃa en red; Parte II: Análisis de sistemas aplicados; cálculos seguros; criptoanálisis; seguridad de sistemas; y criptografÃa y sus aplicaciones. Nota de contenido: Cryptographic Protocols -- Adaptive-ID Secure Hierarchical ID-Based Authenticated Key Exchange under Standard Assumptions without Random Oracles -- Analysis of Client-side Security for Long-term Time-stamping Services -- Towards Efficient and Strong Backward Private Searchable Encryption with Secure Enclaves -- Secure and Fair Protocols -- CECMLP: New Cipher-Based Evaluating Collaborative Multi-Layer Perceptron Scheme in Federated Learning -- Blind Polynomial Evaluation and Data Trading -- Coin-Based Multi-Party Fair Exchange -- Cryptocurrency and Smart Contracts -- P2DEX: Privacy-Preserving Decentralized Cryptocurrency Exchange -- WOTS+ up my Sleeve! A Hidden Secure Fallback for Cryptocurrency Wallets -- Terrorist Attacks for Fake Exposure Notifications in Contact Tracing Systems -- Digital Signatures -- Unlinkable and Invisible -Sanitizable Signatures -- Partially Structure-Preserving Signatures: Lower Bounds, Constructions and More -- An Efficient Certificate-Based Signature Scheme in the Standard Model -- Embedded System Security -- SnakeGX: a sneaky attack against SGX Enclaves -- Telepathic Headache: Mitigating Cache Side-Channel Attacks on Convolutional Neural Networks -- Efficient FPGA Design of Exception-Free Generic Elliptic Curve Cryptosystems -- Lattice Cryptography -- Access Control Encryption from Group Encryption -- Password Protected Secret Sharing from Lattices -- Efficient Homomorphic Conversion Between (Ring) LWE Ciphertexts. Tipo de medio : Computadora Summary : The two-volume set LNCS 12726 + 12727 constitutes the proceedings of the 19th International Conference on Applied Cryptography and Network Security, ACNS 2021, which took place virtually during June 21-24, 2021. The 37 full papers presented in the proceedings were carefully reviewed and selected from a total of 186 submissions. They were organized in topical sections as follows: Part I: Cryptographic protocols; secure and fair protocols; cryptocurrency and smart contracts; digital signatures; embedded system security; lattice cryptography; Part II: Analysis of applied systems; secure computations; cryptanalysis; system security; and cryptography and its applications. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] 19th International Conference, ACNS 2021, Kamakura, Japan, June 21–24, 2021, Proceedings, Part I [documento electrónico] / Sako, Kazue, ; Tippenhauer, Nils Ole, . - 1 ed. . - [s.l.] : Springer, 2021 . - XIV, 482 p. 72 ilustraciones, 21 ilustraciones en color.
ISBN : 978-3-030-78372-3
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.
Idioma : Inglés (eng)
Palabras clave: Protección de datos IngenierÃa Informática Red de computadoras TeorÃa de la codificación TeorÃa de la información Software de la aplicacion Sistemas operativos (computadoras) Seguridad de datos e información IngenierÃa Informática y Redes TeorÃa de la codificación y la información Aplicaciones informáticas y de sistemas de información Sistemas operativos Clasificación: 005.8 Ciencia de los computadores (Programación, programas de sistemas) Resumen: El conjunto de dos volúmenes LNCS 12726 + 12727 constituye las actas de la 19.ª Conferencia internacional sobre criptografÃa aplicada y seguridad de redes, ACNS 2021, que se celebró de forma virtual del 21 al 24 de junio de 2021. Los 37 artÃculos completos presentados en las actas fueron cuidadosamente revisados ​​y seleccionados de un total de 186 presentaciones. Se organizaron en secciones temáticas de la siguiente manera: Parte I: Protocolos criptográficos; protocolos seguros y justos; criptomonedas y contratos inteligentes; firmas digitales; seguridad de sistemas integrados; criptografÃa en red; Parte II: Análisis de sistemas aplicados; cálculos seguros; criptoanálisis; seguridad de sistemas; y criptografÃa y sus aplicaciones. Nota de contenido: Cryptographic Protocols -- Adaptive-ID Secure Hierarchical ID-Based Authenticated Key Exchange under Standard Assumptions without Random Oracles -- Analysis of Client-side Security for Long-term Time-stamping Services -- Towards Efficient and Strong Backward Private Searchable Encryption with Secure Enclaves -- Secure and Fair Protocols -- CECMLP: New Cipher-Based Evaluating Collaborative Multi-Layer Perceptron Scheme in Federated Learning -- Blind Polynomial Evaluation and Data Trading -- Coin-Based Multi-Party Fair Exchange -- Cryptocurrency and Smart Contracts -- P2DEX: Privacy-Preserving Decentralized Cryptocurrency Exchange -- WOTS+ up my Sleeve! A Hidden Secure Fallback for Cryptocurrency Wallets -- Terrorist Attacks for Fake Exposure Notifications in Contact Tracing Systems -- Digital Signatures -- Unlinkable and Invisible -Sanitizable Signatures -- Partially Structure-Preserving Signatures: Lower Bounds, Constructions and More -- An Efficient Certificate-Based Signature Scheme in the Standard Model -- Embedded System Security -- SnakeGX: a sneaky attack against SGX Enclaves -- Telepathic Headache: Mitigating Cache Side-Channel Attacks on Convolutional Neural Networks -- Efficient FPGA Design of Exception-Free Generic Elliptic Curve Cryptosystems -- Lattice Cryptography -- Access Control Encryption from Group Encryption -- Password Protected Secret Sharing from Lattices -- Efficient Homomorphic Conversion Between (Ring) LWE Ciphertexts. Tipo de medio : Computadora Summary : The two-volume set LNCS 12726 + 12727 constitutes the proceedings of the 19th International Conference on Applied Cryptography and Network Security, ACNS 2021, which took place virtually during June 21-24, 2021. The 37 full papers presented in the proceedings were carefully reviewed and selected from a total of 186 submissions. They were organized in topical sections as follows: Part I: Cryptographic protocols; secure and fair protocols; cryptocurrency and smart contracts; digital signatures; embedded system security; lattice cryptography; Part II: Analysis of applied systems; secure computations; cryptanalysis; system security; and cryptography and its applications. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
TÃtulo : 19th International Conference, ACNS 2021, Kamakura, Japan, June 21–24, 2021, Proceedings, Part II Tipo de documento: documento electrónico Autores: Sako, Kazue, ; Tippenhauer, Nils Ole, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2021 Número de páginas: XIV, 512 p. 125 ilustraciones, 77 ilustraciones en color. ISBN/ISSN/DL: 978-3-030-78375-4 Nota general: Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. Idioma : Inglés (eng) Palabras clave: Protección de datos Red de computadoras CriptografÃa Cifrado de datos (Informática) Software de la aplicacion Red informática Seguridad de datos e información Redes de comunicación informática CriptologÃa Aplicaciones informáticas y de sistemas de información Seguridad móvil y de red Clasificación: 005.8 Ciencia de los computadores (Programación, programas de sistemas) Resumen: El conjunto de dos volúmenes LNCS 12726 + 12727 constituye las actas de la 19.ª Conferencia internacional sobre criptografÃa aplicada y seguridad de redes, ACNS 2021, que se celebró de forma virtual del 21 al 24 de junio de 2021. Los 37 artÃculos completos presentados en las actas fueron cuidadosamente revisados ​​y seleccionados de un total de 186 presentaciones. Se organizaron en secciones temáticas de la siguiente manera: Parte I: Protocolos criptográficos; protocolos seguros y justos; criptomonedas y contratos inteligentes; firmas digitales; seguridad de sistemas integrados; criptografÃa en red; Parte II: Análisis de sistemas aplicados; cálculos seguros; criptoanálisis; seguridad de sistemas; y criptografÃa y sus aplicaciones. Nota de contenido: Analysis of Applied Systems -- Breaking and Fixing Third-Party Payment Service for Mobile Apps -- DSS: Discrepancy-Aware Seed Selection Method for ICS Protocol Fuzzing -- Threat for the Secure Remote Password Protocol and a Leak in Apple's Cryptographic Library -- Secure Computations -- Privacy-Preserving Data Aggregation with Probabilistic Range Validation -- LLVM-based Circuit Compilation for Practical Secure Computation -- An Efficient Passive-to-Active Compiler for Honest-Majority MPC over Rings -- Cryptanalysis -- Experimental Review of the IKK Query Recovery Attack: Assumptions, Recovery Rate and Improvements -- Efficient Methods to Search for Best Differential Characteristics on SKINNY -- Towards Efficient LPN-Based Symmetric Encryption -- System Security -- A Differentially Private Hybrid Approach to Traffic Monitoring -- Proactive Detection of Phishing Kit Traffic -- Vestige: Identifying Binary Code Provenance for Vulnerability Detection -- SoK: Auditability and Accountability in DistributedPayment Systems -- Defending Web Servers Against Flash Crowd Attacks -- Cryptography and its Applications -- TurboIKOS: Improved Non-interactive Zero-Knowledge and Post-Quantum Signatures -- Cryptanalysis of the Binary Permuted Kernel Problem -- Security Comparisons and Performance Analyses of Post-Quantum Signature Algorithms -- Tighter Proofs for the SIGMA and TLS 1.3 Key Exchange Protocols -- Improved Structured Encryption for SQL Databases via Hybrid Indexing. . Tipo de medio : Computadora Summary : The two-volume set LNCS 12726 + 12727 constitutes the proceedings of the 19th International Conference on Applied Cryptography and Network Security, ACNS 2021, which took place virtually during June 21-24, 2021. The 37 full papers presented in the proceedings were carefully reviewed and selected from a total of 186 submissions. They were organized in topical sections as follows: Part I: Cryptographic protocols; secure and fair protocols; cryptocurrency and smart contracts; digital signatures; embedded system security; lattice cryptography; Part II: Analysis of applied systems; secure computations; cryptanalysis; system security; and cryptography and its applications. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] 19th International Conference, ACNS 2021, Kamakura, Japan, June 21–24, 2021, Proceedings, Part II [documento electrónico] / Sako, Kazue, ; Tippenhauer, Nils Ole, . - 1 ed. . - [s.l.] : Springer, 2021 . - XIV, 512 p. 125 ilustraciones, 77 ilustraciones en color.
ISBN : 978-3-030-78375-4
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.
Idioma : Inglés (eng)
Palabras clave: Protección de datos Red de computadoras CriptografÃa Cifrado de datos (Informática) Software de la aplicacion Red informática Seguridad de datos e información Redes de comunicación informática CriptologÃa Aplicaciones informáticas y de sistemas de información Seguridad móvil y de red Clasificación: 005.8 Ciencia de los computadores (Programación, programas de sistemas) Resumen: El conjunto de dos volúmenes LNCS 12726 + 12727 constituye las actas de la 19.ª Conferencia internacional sobre criptografÃa aplicada y seguridad de redes, ACNS 2021, que se celebró de forma virtual del 21 al 24 de junio de 2021. Los 37 artÃculos completos presentados en las actas fueron cuidadosamente revisados ​​y seleccionados de un total de 186 presentaciones. Se organizaron en secciones temáticas de la siguiente manera: Parte I: Protocolos criptográficos; protocolos seguros y justos; criptomonedas y contratos inteligentes; firmas digitales; seguridad de sistemas integrados; criptografÃa en red; Parte II: Análisis de sistemas aplicados; cálculos seguros; criptoanálisis; seguridad de sistemas; y criptografÃa y sus aplicaciones. Nota de contenido: Analysis of Applied Systems -- Breaking and Fixing Third-Party Payment Service for Mobile Apps -- DSS: Discrepancy-Aware Seed Selection Method for ICS Protocol Fuzzing -- Threat for the Secure Remote Password Protocol and a Leak in Apple's Cryptographic Library -- Secure Computations -- Privacy-Preserving Data Aggregation with Probabilistic Range Validation -- LLVM-based Circuit Compilation for Practical Secure Computation -- An Efficient Passive-to-Active Compiler for Honest-Majority MPC over Rings -- Cryptanalysis -- Experimental Review of the IKK Query Recovery Attack: Assumptions, Recovery Rate and Improvements -- Efficient Methods to Search for Best Differential Characteristics on SKINNY -- Towards Efficient LPN-Based Symmetric Encryption -- System Security -- A Differentially Private Hybrid Approach to Traffic Monitoring -- Proactive Detection of Phishing Kit Traffic -- Vestige: Identifying Binary Code Provenance for Vulnerability Detection -- SoK: Auditability and Accountability in DistributedPayment Systems -- Defending Web Servers Against Flash Crowd Attacks -- Cryptography and its Applications -- TurboIKOS: Improved Non-interactive Zero-Knowledge and Post-Quantum Signatures -- Cryptanalysis of the Binary Permuted Kernel Problem -- Security Comparisons and Performance Analyses of Post-Quantum Signature Algorithms -- Tighter Proofs for the SIGMA and TLS 1.3 Key Exchange Protocols -- Improved Structured Encryption for SQL Databases via Hybrid Indexing. . Tipo de medio : Computadora Summary : The two-volume set LNCS 12726 + 12727 constitutes the proceedings of the 19th International Conference on Applied Cryptography and Network Security, ACNS 2021, which took place virtually during June 21-24, 2021. The 37 full papers presented in the proceedings were carefully reviewed and selected from a total of 186 submissions. They were organized in topical sections as follows: Part I: Cryptographic protocols; secure and fair protocols; cryptocurrency and smart contracts; digital signatures; embedded system security; lattice cryptography; Part II: Analysis of applied systems; secure computations; cryptanalysis; system security; and cryptography and its applications. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
TÃtulo : 22nd International Conference, FC 2018, Nieuwpoort, Curaçao, February 26 – March 2, 2018, Revised Selected Papers Tipo de documento: documento electrónico Autores: Meiklejohn, Sarah, ; Sako, Kazue, Mención de edición: 1 ed. Editorial: Berlin [Alemania] : Springer Fecha de publicación: 2018 Número de páginas: XI, 562 p. 96 ilustraciones, 60 ilustraciones en color. ISBN/ISSN/DL: 978-3-662-58387-6 Nota general: Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. Idioma : Inglés (eng) Palabras clave: Protección de datos IngenierÃa de software Software de la aplicacion Estructuras de datos (Informática) TeorÃa de la información Seguridad de datos e información Aplicaciones informáticas y de sistemas de información Estructuras de datos y teorÃa de la información Clasificación: 005.8 Ciencia de los computadores (Programación, programas de sistemas) Resumen: Este libro constituye las actas posteriores a la conferencia, exhaustivamente arbitradas, de la 22.ª Conferencia Internacional sobre CriptografÃa Financiera y Seguridad de Datos, FC 2018, celebrada en Nieuwport, Curazao, en febrero/marzo de 2018. Los 27 artÃculos completos revisados ​​y 2 artÃculos breves fueron cuidadosamente seleccionados y revisado a partir de 110 presentaciones. Los artÃculos se agrupan en las siguientes secciones temáticas: CriptografÃa financiera y seguridad de datos, CriptografÃa aplicada, Seguridad y privacidad de sistemas móviles, Evaluación y gestión de riesgos, Seguridad y privacidad de redes sociales y mucho más. . Nota de contenido: Privacy -- Cryptographic Integrity -- Economic and Usability Analyses -- Privacy and Data Processing -- Attacks -- Applied Cryptography -- Anonymity in Distributed Systems -- Blockchain Measurements -- Blockchain Protocols -- Blockchain Modeling. . Tipo de medio : Computadora Summary : This book constitutes the thoroughly refereed post-conference proceedings of the 22nd International Conference on Financial Cryptography and Data Security, FC 2018, held in Nieuwport, Curaçao, in February/ March 2018. The 27 revised full papers and 2 short papers were carefully selected and reviewed from 110 submissions. The papers are grouped in the following topical sections: Financial Cryptography and Data Security, Applied Cryptography, Mobile Systems Security and Privacy, Risk Assessment and Management, Social Networks Security and Privacy and much more. . Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] 22nd International Conference, FC 2018, Nieuwpoort, Curaçao, February 26 – March 2, 2018, Revised Selected Papers [documento electrónico] / Meiklejohn, Sarah, ; Sako, Kazue, . - 1 ed. . - Berlin [Alemania] : Springer, 2018 . - XI, 562 p. 96 ilustraciones, 60 ilustraciones en color.
ISBN : 978-3-662-58387-6
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.
Idioma : Inglés (eng)
Palabras clave: Protección de datos IngenierÃa de software Software de la aplicacion Estructuras de datos (Informática) TeorÃa de la información Seguridad de datos e información Aplicaciones informáticas y de sistemas de información Estructuras de datos y teorÃa de la información Clasificación: 005.8 Ciencia de los computadores (Programación, programas de sistemas) Resumen: Este libro constituye las actas posteriores a la conferencia, exhaustivamente arbitradas, de la 22.ª Conferencia Internacional sobre CriptografÃa Financiera y Seguridad de Datos, FC 2018, celebrada en Nieuwport, Curazao, en febrero/marzo de 2018. Los 27 artÃculos completos revisados ​​y 2 artÃculos breves fueron cuidadosamente seleccionados y revisado a partir de 110 presentaciones. Los artÃculos se agrupan en las siguientes secciones temáticas: CriptografÃa financiera y seguridad de datos, CriptografÃa aplicada, Seguridad y privacidad de sistemas móviles, Evaluación y gestión de riesgos, Seguridad y privacidad de redes sociales y mucho más. . Nota de contenido: Privacy -- Cryptographic Integrity -- Economic and Usability Analyses -- Privacy and Data Processing -- Attacks -- Applied Cryptography -- Anonymity in Distributed Systems -- Blockchain Measurements -- Blockchain Protocols -- Blockchain Modeling. . Tipo de medio : Computadora Summary : This book constitutes the thoroughly refereed post-conference proceedings of the 22nd International Conference on Financial Cryptography and Data Security, FC 2018, held in Nieuwport, Curaçao, in February/ March 2018. The 27 revised full papers and 2 short papers were carefully selected and reviewed from 110 submissions. The papers are grouped in the following topical sections: Financial Cryptography and Data Security, Applied Cryptography, Mobile Systems Security and Privacy, Risk Assessment and Management, Social Networks Security and Privacy and much more. . Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
TÃtulo : 24th European Symposium on Research in Computer Security, Luxembourg, September 23–27, 2019, Proceedings, Part I Tipo de documento: documento electrónico Autores: Sako, Kazue, ; Schneider, Steve, ; Ryan, Peter Y. A., Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2019 Número de páginas: XXV, 811 p. 628 ilustraciones, 132 ilustraciones en color. ISBN/ISSN/DL: 978-3-030-29959-0 Nota general: Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. Idioma : Inglés (eng) Palabras clave: Protección de datos IngenierÃa Informática Red de computadoras Ordenadores Inteligencia artificial Software de la aplicacion IngenierÃa de software Seguridad de datos e información IngenierÃa Informática y Redes Entornos informáticos Aplicaciones informáticas y de sistemas de información Clasificación: 005.8 Ciencia de los computadores (Programación, programas de sistemas) Resumen: El conjunto de dos volúmenes, LNCS 11735 y 11736, constituye las actas del 24º Simposio Europeo sobre Investigación en Seguridad Informática, ESORIC 2019, celebrado en Luxemburgo, en septiembre de 2019. El total de 67 artÃculos completos incluidos en estas actas fue cuidadosamente revisado y seleccionado. de 344 presentaciones. Los artÃculos se organizaron en secciones temáticas denominadas de la siguiente manera: Parte I: aprendizaje automático; fuga de información; firmas y recifrado; canales laterales; modelado y verificación formal; ataques; protocolos seguros; herramientas útiles; blockchain y contratos inteligentes. Parte II: seguridad del software; protocolos criptográficos; modelos de seguridad; cifrado con capacidad de búsqueda; privacidad; protocolos de intercambio de claves; y seguridad web. Nota de contenido: Machine Learning -- Privacy-Enhanced Machine Learning with Functional Encryption -- Towards Secure and Efficient Outsourcing of Machine Learning Classification -- Confidential Boosting with Random Linear Classifiers for Outsourced User-generated Data -- BDPL: A Boundary Differentially Private Layer Against Machine Learning Model Extraction Attacks -- Information Leakage -- The Leakage-Resilience Dilemma -- A Taxonomy of Attacks using BGP Blackholing -- Local Obfuscation Mechanisms for Hiding Probability Distributions -- A First Look into Privacy Leakage in 3D Mixed Reality Data -- Signatures and Re-encryption -- Flexible Signatures: Making Authentication Suitable for Real-Time Environments -- A Dynamic & Revocable Group Merkle Signature -- Puncturable Proxy Re-Encryption supporting to Group Messaging Service -- Generic Traceable Proxy Re-Encryption and Accountable Extension in Consensus Network -- Side Channels -- Side-Channel Aware Fuzzing -- NetSpectre: Read Arbitrary Memory over Network -- maskVerif:Automated Verification of Higher-Order Masking in Presence of Physical Defaults -- Automated Formal Analysis of Side-Channel Attacks on Probabilistic Systems -- Formal Modelling and Verification -- A Formal Model for Checking Cryptographic API Usage in JavaScript -- Contingent Payments on a Public Ledger: Models and Reductions for Automated Verification -- Symbolic Analysis of Terrorist Fraud Resistance -- Secure Communication Channel Establishment: TLS 1.3 (over TCP Fast Open) vs. QUIC -- Attacks -- Where to Look for What You See Is What You Sign? User Confusion in Transaction Security -- On the Security and Applicability of Fragile Camera Fingerprints -- Attacking Speaker Recognition Systems with Phoneme Morphing -- Practical Bayesian Poisoning Attacks on Challenge-based Collaborative Intrusion Detection Networks -- A Framework for Evaluating Security in the Presence of Signal Injection Attacks -- Secure Protocols -- Formalizing and Proving Privacy Properties of Voting Protocols using Alpha-Beta Privacy -- ProCSA: Protecting Privacy in Crowdsourced Spectrum Allocation -- Breaking Unlinkability of the ICAO 9303 Standard for e-Passports using Bisimilarity -- Symmetric-key Corruption Detection : When XOR-MACs Meet Combinatorial Group Testing -- Useful Tools -- Finding Flaws from Password Authentication Code in Android Apps -- Identifying Privilege Separation Vulnerabilities in IoT Firmware with Symbolic Execution -- iCAT: An Interactive Customizable Anonymization Tool -- Monitoring the GDPR -- Blockchain and Smart Contracts -- Incentives for Harvesting Attack in Proof of Work mining pools -- A Lattice-Based Linkable Ring Signature Supporting Stealth Addresses -- Annotary: A Concolic Execution System for Developing Secure Smart Contracts -- PDFS: Practical Data Feed Service for Smart Contracts -- Towards a Marketplace for Secure Outsourced Computations. Tipo de medio : Computadora Summary : The two volume set, LNCS 11735 and 11736, constitutes the proceedings of the 24th European Symposium on Research in Computer Security, ESORIC 2019, held in Luxembourg, in September 2019. The total of 67 full papers included in these proceedings was carefully reviewed and selected from 344 submissions. The papers were organized in topical sections named as follows: Part I: machine learning; information leakage; signatures and re-encryption; side channels; formal modelling and verification; attacks; secure protocols; useful tools; blockchain and smart contracts. Part II: software security; cryptographic protocols; security models; searchable encryption; privacy; key exchange protocols; and web security. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] 24th European Symposium on Research in Computer Security, Luxembourg, September 23–27, 2019, Proceedings, Part I [documento electrónico] / Sako, Kazue, ; Schneider, Steve, ; Ryan, Peter Y. A., . - 1 ed. . - [s.l.] : Springer, 2019 . - XXV, 811 p. 628 ilustraciones, 132 ilustraciones en color.
ISBN : 978-3-030-29959-0
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.
Idioma : Inglés (eng)
Palabras clave: Protección de datos IngenierÃa Informática Red de computadoras Ordenadores Inteligencia artificial Software de la aplicacion IngenierÃa de software Seguridad de datos e información IngenierÃa Informática y Redes Entornos informáticos Aplicaciones informáticas y de sistemas de información Clasificación: 005.8 Ciencia de los computadores (Programación, programas de sistemas) Resumen: El conjunto de dos volúmenes, LNCS 11735 y 11736, constituye las actas del 24º Simposio Europeo sobre Investigación en Seguridad Informática, ESORIC 2019, celebrado en Luxemburgo, en septiembre de 2019. El total de 67 artÃculos completos incluidos en estas actas fue cuidadosamente revisado y seleccionado. de 344 presentaciones. Los artÃculos se organizaron en secciones temáticas denominadas de la siguiente manera: Parte I: aprendizaje automático; fuga de información; firmas y recifrado; canales laterales; modelado y verificación formal; ataques; protocolos seguros; herramientas útiles; blockchain y contratos inteligentes. Parte II: seguridad del software; protocolos criptográficos; modelos de seguridad; cifrado con capacidad de búsqueda; privacidad; protocolos de intercambio de claves; y seguridad web. Nota de contenido: Machine Learning -- Privacy-Enhanced Machine Learning with Functional Encryption -- Towards Secure and Efficient Outsourcing of Machine Learning Classification -- Confidential Boosting with Random Linear Classifiers for Outsourced User-generated Data -- BDPL: A Boundary Differentially Private Layer Against Machine Learning Model Extraction Attacks -- Information Leakage -- The Leakage-Resilience Dilemma -- A Taxonomy of Attacks using BGP Blackholing -- Local Obfuscation Mechanisms for Hiding Probability Distributions -- A First Look into Privacy Leakage in 3D Mixed Reality Data -- Signatures and Re-encryption -- Flexible Signatures: Making Authentication Suitable for Real-Time Environments -- A Dynamic & Revocable Group Merkle Signature -- Puncturable Proxy Re-Encryption supporting to Group Messaging Service -- Generic Traceable Proxy Re-Encryption and Accountable Extension in Consensus Network -- Side Channels -- Side-Channel Aware Fuzzing -- NetSpectre: Read Arbitrary Memory over Network -- maskVerif:Automated Verification of Higher-Order Masking in Presence of Physical Defaults -- Automated Formal Analysis of Side-Channel Attacks on Probabilistic Systems -- Formal Modelling and Verification -- A Formal Model for Checking Cryptographic API Usage in JavaScript -- Contingent Payments on a Public Ledger: Models and Reductions for Automated Verification -- Symbolic Analysis of Terrorist Fraud Resistance -- Secure Communication Channel Establishment: TLS 1.3 (over TCP Fast Open) vs. QUIC -- Attacks -- Where to Look for What You See Is What You Sign? User Confusion in Transaction Security -- On the Security and Applicability of Fragile Camera Fingerprints -- Attacking Speaker Recognition Systems with Phoneme Morphing -- Practical Bayesian Poisoning Attacks on Challenge-based Collaborative Intrusion Detection Networks -- A Framework for Evaluating Security in the Presence of Signal Injection Attacks -- Secure Protocols -- Formalizing and Proving Privacy Properties of Voting Protocols using Alpha-Beta Privacy -- ProCSA: Protecting Privacy in Crowdsourced Spectrum Allocation -- Breaking Unlinkability of the ICAO 9303 Standard for e-Passports using Bisimilarity -- Symmetric-key Corruption Detection : When XOR-MACs Meet Combinatorial Group Testing -- Useful Tools -- Finding Flaws from Password Authentication Code in Android Apps -- Identifying Privilege Separation Vulnerabilities in IoT Firmware with Symbolic Execution -- iCAT: An Interactive Customizable Anonymization Tool -- Monitoring the GDPR -- Blockchain and Smart Contracts -- Incentives for Harvesting Attack in Proof of Work mining pools -- A Lattice-Based Linkable Ring Signature Supporting Stealth Addresses -- Annotary: A Concolic Execution System for Developing Secure Smart Contracts -- PDFS: Practical Data Feed Service for Smart Contracts -- Towards a Marketplace for Secure Outsourced Computations. Tipo de medio : Computadora Summary : The two volume set, LNCS 11735 and 11736, constitutes the proceedings of the 24th European Symposium on Research in Computer Security, ESORIC 2019, held in Luxembourg, in September 2019. The total of 67 full papers included in these proceedings was carefully reviewed and selected from 344 submissions. The papers were organized in topical sections named as follows: Part I: machine learning; information leakage; signatures and re-encryption; side channels; formal modelling and verification; attacks; secure protocols; useful tools; blockchain and smart contracts. Part II: software security; cryptographic protocols; security models; searchable encryption; privacy; key exchange protocols; and web security. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
TÃtulo : 24th European Symposium on Research in Computer Security, Luxembourg, September 23–27, 2019, Proceedings, Part II Tipo de documento: documento electrónico Autores: Sako, Kazue, ; Schneider, Steve, ; Ryan, Peter Y. A., Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2019 Número de páginas: XXVI, 627 p. 803 ilustraciones, 71 ilustraciones en color. ISBN/ISSN/DL: 978-3-030-29962-0 Nota general: Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. Idioma : Inglés (eng) Palabras clave: Protección de datos IngenierÃa Informática Red de computadoras Ordenadores Inteligencia artificial Software de la aplicacion IngenierÃa de software Seguridad de datos e información IngenierÃa Informática y Redes Entornos informáticos Aplicaciones informáticas y de sistemas de información Clasificación: 005.8 Ciencia de los computadores (Programación, programas de sistemas) Resumen: El conjunto de dos volúmenes, LNCS 11735 y 11736, constituye las actas del 24º Simposio Europeo sobre Investigación en Seguridad Informática, ESORIC 2019, celebrado en Luxemburgo, en septiembre de 2019. El total de 67 artÃculos completos incluidos en estas actas fue cuidadosamente revisado y seleccionado. de 344 presentaciones. Los artÃculos se organizaron en secciones temáticas denominadas de la siguiente manera: Parte I: aprendizaje automático; fuga de información; firmas y recifrado; canales laterales; modelado y verificación formal; ataques; protocolos seguros; herramientas útiles; blockchain y contratos inteligentes. Parte II: seguridad del software; protocolos criptográficos; modelos de seguridad; cifrado con capacidad de búsqueda; privacidad; protocolos de intercambio de claves; y seguridad web. Nota de contenido: Software Security -- Automatically Identifying Security Checks for Detecting Kernel Semantic Bugs -- Uncovering Information Flow Policy Violations in C Programs -- BinEye: Towards Efficient Binary Authorship Characterization Using Deep Learning -- Static Detection of Uninitialized Stack Variables in Binary Code -- Towards Automated Application-Specific Software Stacks -- Cryptographic Protocols -- Identity-Based Encryption with Security against the KGC: A Formal Model and Its Instantiation from Lattices -- Forward-Secure Puncturable Identity-Based Encryption for Securing Cloud Emails -- Feistel Structures for MPC, and More -- Arithmetic Garbling from Bilinear Maps -- Security Models -- SEPD: An Access Control Model for Resource Sharing in an IoT Environment -- Nighthawk: Transparent System Introspection from Ring -3 -- Proactivizer: Transforming Existing Verification Tools into Efficient Solutions for Runtime Security Enforcement -- Enhancing Security and Dependability of Industrial Networks with Opinion Dynamics -- Searchable Encryption -- Dynamic Searchable Symmetric Encryption with Forward and Stronger Backward Privacy -- Towards Efficient Verifiable Forward Secure Searchable Symmetric Encryption -- Generic Multi-keyword Ranked Search on Encrypted Cloud Data -- An Efficiently Searchable Encrypted Data Structure for Range Queries -- Privacy -- GDPiRated - Stealing Personal Information On- and Offline -- Location Privacy-Preserving Mobile Crowd Sensing with Anonymous Reputation -- OCRAM-assisted Sensitive Data Protection on ARM-based Platform -- Privacy-Preserving Collaborative Medical Time Series Analysis based on Dynamic Time Warping -- Key Exchange Protocols -- IoT-friendly AKE: Forward Secrecy and Session Resumption Meet Symmetric-key Cryptography -- Strongly Secure Identity-Based Key Exchange with Single Pairing Operation -- A Complete and Optimized Key Mismatch Attack on NIST Candidate NewHope -- Breakdown Resilience of Key Exchange Protocols: NewHope, TLS 1.3, and Hybrids -- Web Security -- The Risks of WebGL: Analysis, Evaluation and Detection -- Mime Artist: Bypassing Whitelisting for the Web with JavaScript Mimicry Attacks -- Fingerprint Surface-Based Detection of Web Bot Detectors -- Testing for Integrity Flaws in Web Sessions. Tipo de medio : Computadora Summary : The two volume set, LNCS 11735 and 11736, constitutes the proceedings of the 24th European Symposium on Research in Computer Security, ESORIC 2019, held in Luxembourg, in September 2019. The total of 67 full papers included in these proceedings was carefully reviewed and selected from 344 submissions. The papers were organized in topical sections named as follows: Part I: machine learning; information leakage; signatures and re-encryption; side channels; formal modelling and verification; attacks; secure protocols; useful tools; blockchain and smart contracts. Part II: software security; cryptographic protocols; security models; searchable encryption; privacy; key exchange protocols; and web security. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] 24th European Symposium on Research in Computer Security, Luxembourg, September 23–27, 2019, Proceedings, Part II [documento electrónico] / Sako, Kazue, ; Schneider, Steve, ; Ryan, Peter Y. A., . - 1 ed. . - [s.l.] : Springer, 2019 . - XXVI, 627 p. 803 ilustraciones, 71 ilustraciones en color.
ISBN : 978-3-030-29962-0
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.
Idioma : Inglés (eng)
Palabras clave: Protección de datos IngenierÃa Informática Red de computadoras Ordenadores Inteligencia artificial Software de la aplicacion IngenierÃa de software Seguridad de datos e información IngenierÃa Informática y Redes Entornos informáticos Aplicaciones informáticas y de sistemas de información Clasificación: 005.8 Ciencia de los computadores (Programación, programas de sistemas) Resumen: El conjunto de dos volúmenes, LNCS 11735 y 11736, constituye las actas del 24º Simposio Europeo sobre Investigación en Seguridad Informática, ESORIC 2019, celebrado en Luxemburgo, en septiembre de 2019. El total de 67 artÃculos completos incluidos en estas actas fue cuidadosamente revisado y seleccionado. de 344 presentaciones. Los artÃculos se organizaron en secciones temáticas denominadas de la siguiente manera: Parte I: aprendizaje automático; fuga de información; firmas y recifrado; canales laterales; modelado y verificación formal; ataques; protocolos seguros; herramientas útiles; blockchain y contratos inteligentes. Parte II: seguridad del software; protocolos criptográficos; modelos de seguridad; cifrado con capacidad de búsqueda; privacidad; protocolos de intercambio de claves; y seguridad web. Nota de contenido: Software Security -- Automatically Identifying Security Checks for Detecting Kernel Semantic Bugs -- Uncovering Information Flow Policy Violations in C Programs -- BinEye: Towards Efficient Binary Authorship Characterization Using Deep Learning -- Static Detection of Uninitialized Stack Variables in Binary Code -- Towards Automated Application-Specific Software Stacks -- Cryptographic Protocols -- Identity-Based Encryption with Security against the KGC: A Formal Model and Its Instantiation from Lattices -- Forward-Secure Puncturable Identity-Based Encryption for Securing Cloud Emails -- Feistel Structures for MPC, and More -- Arithmetic Garbling from Bilinear Maps -- Security Models -- SEPD: An Access Control Model for Resource Sharing in an IoT Environment -- Nighthawk: Transparent System Introspection from Ring -3 -- Proactivizer: Transforming Existing Verification Tools into Efficient Solutions for Runtime Security Enforcement -- Enhancing Security and Dependability of Industrial Networks with Opinion Dynamics -- Searchable Encryption -- Dynamic Searchable Symmetric Encryption with Forward and Stronger Backward Privacy -- Towards Efficient Verifiable Forward Secure Searchable Symmetric Encryption -- Generic Multi-keyword Ranked Search on Encrypted Cloud Data -- An Efficiently Searchable Encrypted Data Structure for Range Queries -- Privacy -- GDPiRated - Stealing Personal Information On- and Offline -- Location Privacy-Preserving Mobile Crowd Sensing with Anonymous Reputation -- OCRAM-assisted Sensitive Data Protection on ARM-based Platform -- Privacy-Preserving Collaborative Medical Time Series Analysis based on Dynamic Time Warping -- Key Exchange Protocols -- IoT-friendly AKE: Forward Secrecy and Session Resumption Meet Symmetric-key Cryptography -- Strongly Secure Identity-Based Key Exchange with Single Pairing Operation -- A Complete and Optimized Key Mismatch Attack on NIST Candidate NewHope -- Breakdown Resilience of Key Exchange Protocols: NewHope, TLS 1.3, and Hybrids -- Web Security -- The Risks of WebGL: Analysis, Evaluation and Detection -- Mime Artist: Bypassing Whitelisting for the Web with JavaScript Mimicry Attacks -- Fingerprint Surface-Based Detection of Web Bot Detectors -- Testing for Integrity Flaws in Web Sessions. Tipo de medio : Computadora Summary : The two volume set, LNCS 11735 and 11736, constitutes the proceedings of the 24th European Symposium on Research in Computer Security, ESORIC 2019, held in Luxembourg, in September 2019. The total of 67 full papers included in these proceedings was carefully reviewed and selected from 344 submissions. The papers were organized in topical sections named as follows: Part I: machine learning; information leakage; signatures and re-encryption; side channels; formal modelling and verification; attacks; secure protocols; useful tools; blockchain and smart contracts. Part II: software security; cryptographic protocols; security models; searchable encryption; privacy; key exchange protocols; and web security. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
