Información del autor
Autor Schneider, Steve |
Documentos disponibles escritos por este autor (6)
Crear una solicitud de compra Refinar búsqueda21st International Conference, ISC 2018, Guildford, UK, September 9–12, 2018, Proceedings / Chen, Liqun ; Manulis, Mark ; Schneider, Steve
TÃtulo : 21st International Conference, ISC 2018, Guildford, UK, September 9–12, 2018, Proceedings Tipo de documento: documento electrónico Autores: Chen, Liqun, ; Manulis, Mark, ; Schneider, Steve, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2018 Número de páginas: XI, 522 p. 85 ilustraciones ISBN/ISSN/DL: 978-3-319-99136-8 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: Seguridad de datos e información Lógica informática y fundamentos de la programación. Redes de comunicación informática Entornos informáticos IngenierÃa Informática y Redes Estructuras de datos y teorÃa de la información Ordenador Red informática IngenierÃa Informática TeorÃa de la información Protección de datos Informática Estructuras de datos (Informática) Clasificación: 005.8 Ciencia de los computadores (Programación, programas de sistemas) Resumen: Este libro constituye las actas de la 21.ª Conferencia Internacional sobre Seguridad de la Información, ISC 2018, celebrada en Guildford, Reino Unido, en septiembre de 2018. Los 26 artÃculos completos presentados en este volumen fueron cuidadosamente revisados ​​y seleccionados entre 59 presentaciones. El libro también incluye una charla invitada en formato artÃculo completo. Los artÃculos se organizaron en secciones temáticas denominadas: seguridad del software; cifrados simétricos y criptoanálisis; privacidad y anonimización de datos; subcontratación e informática asistida; cifrado avanzado; aplicaciones que preservan la privacidad; firmas avanzadas; y seguridad de la red. . Nota de contenido: Invited Paper -- Relaxed Lattice-Based Signatures with Short Zero-Knowledge Proofs -- Software Security -- Secure Code Execution: A Generic PUF-driven System Architecture -- Lumus: Dynamically Uncovering Evasive Android Applications -- ICUFuzzer: Fuzzing ICU Library for Exploitable Bugs in Multiple Software -- How Safe is Safety Number? A User Study on SIGNAL's Fingerprint and Safety Number Methods for Public Key Verification -- Symmetric Ciphers and Cryptanalysis -- Speeding up MILP Aided Differential Characteristic Search with Mastui's Strategy -- Automatic Search for Related-key Differential Trails in SIMON-like Block Ciphers Based on MILP -- Linear Cryptanalysis of Reduced-Round Speck with a Heuristic Approach: Automatic Search for Linear Trails -- Conditional Cube Searching and Applications on Trivium-Variant Ciphers -- Data Privacy and Anonymization -- Practical Attacks on Relational Databases Protected via Searchable Encryption -- A Simple Algorithm for Estimating Distribution Parameters from n-Dimensional Randomized Binary Responses -- Outsourcing and Assisted Computing -- Enforcing Access Control for the Cryptographic Cloud Service Invocation based on Virtual Machine Introspection -- Multi-Authority Fast Data Cloud-Outsourcing for Mobile Devices -- Hide The Modulus: A Secure Non-Interactive Fully Verifiable Delegation Scheme for Modular Exponentiations via CRT -- Offline Assisted Group Key Exchange -- Advanced Encryption -- Function-Dependent Commitments for Verifiable Multi-Party Computation -- On Constructing Pairing-free Identity-Based Encryptions -- Multi-Key Homomorphic Proxy Re-Encryption -- Verifiable Decryption for Fully Homomorphic Encryption -- Privacy-Preserving Applications -- Platform-independent Secure Blockchain-Based Voting System -- Privacy in Crowdsourcing: A Systematic Review -- Advanced Signatures -- Anonymous yet Traceable Strong Designated Verifier Signature -- Strongly Unforgeable Signature Resilient to Polynomially Hard-to-Invert Leakage under Standard Assumptions -- A Revocable Group Signature Scheme with Scalability from Simple Assumptions and Its Implementation -- Network Security -- Fast Flux Service Network Detection via Data Mining on Passive DNS Traffic -- Beyond Cookie Monster Amnesia: Real World Persistent Online Tracking -- Cyber-risks in the Industrial Internet of Things: towards a method for continuous assessment. Tipo de medio : Computadora Summary : This book constitutes the proceedings of the 21st International Conference on Information Security, ISC 2018, held in Guildford, UK, in September 2018. The 26 full papers presented in this volume were carefully reviewed and selected from 59 submissions. The book also includes one invited talk in full-paper length. The papers were organized in topical sections named: software security; symmetric ciphers and cryptanalysis; data privacy and anonymization; outsourcing and assisted computing; advanced encryption; privacy-preserving applications; advanced signatures; and network security. . Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] 21st International Conference, ISC 2018, Guildford, UK, September 9–12, 2018, Proceedings [documento electrónico] / Chen, Liqun, ; Manulis, Mark, ; Schneider, Steve, . - 1 ed. . - [s.l.] : Springer, 2018 . - XI, 522 p. 85 ilustraciones.
ISBN : 978-3-319-99136-8
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: Seguridad de datos e información Lógica informática y fundamentos de la programación. Redes de comunicación informática Entornos informáticos IngenierÃa Informática y Redes Estructuras de datos y teorÃa de la información Ordenador Red informática IngenierÃa Informática TeorÃa de la información Protección de datos Informática Estructuras de datos (Informática) Clasificación: 005.8 Ciencia de los computadores (Programación, programas de sistemas) Resumen: Este libro constituye las actas de la 21.ª Conferencia Internacional sobre Seguridad de la Información, ISC 2018, celebrada en Guildford, Reino Unido, en septiembre de 2018. Los 26 artÃculos completos presentados en este volumen fueron cuidadosamente revisados ​​y seleccionados entre 59 presentaciones. El libro también incluye una charla invitada en formato artÃculo completo. Los artÃculos se organizaron en secciones temáticas denominadas: seguridad del software; cifrados simétricos y criptoanálisis; privacidad y anonimización de datos; subcontratación e informática asistida; cifrado avanzado; aplicaciones que preservan la privacidad; firmas avanzadas; y seguridad de la red. . Nota de contenido: Invited Paper -- Relaxed Lattice-Based Signatures with Short Zero-Knowledge Proofs -- Software Security -- Secure Code Execution: A Generic PUF-driven System Architecture -- Lumus: Dynamically Uncovering Evasive Android Applications -- ICUFuzzer: Fuzzing ICU Library for Exploitable Bugs in Multiple Software -- How Safe is Safety Number? A User Study on SIGNAL's Fingerprint and Safety Number Methods for Public Key Verification -- Symmetric Ciphers and Cryptanalysis -- Speeding up MILP Aided Differential Characteristic Search with Mastui's Strategy -- Automatic Search for Related-key Differential Trails in SIMON-like Block Ciphers Based on MILP -- Linear Cryptanalysis of Reduced-Round Speck with a Heuristic Approach: Automatic Search for Linear Trails -- Conditional Cube Searching and Applications on Trivium-Variant Ciphers -- Data Privacy and Anonymization -- Practical Attacks on Relational Databases Protected via Searchable Encryption -- A Simple Algorithm for Estimating Distribution Parameters from n-Dimensional Randomized Binary Responses -- Outsourcing and Assisted Computing -- Enforcing Access Control for the Cryptographic Cloud Service Invocation based on Virtual Machine Introspection -- Multi-Authority Fast Data Cloud-Outsourcing for Mobile Devices -- Hide The Modulus: A Secure Non-Interactive Fully Verifiable Delegation Scheme for Modular Exponentiations via CRT -- Offline Assisted Group Key Exchange -- Advanced Encryption -- Function-Dependent Commitments for Verifiable Multi-Party Computation -- On Constructing Pairing-free Identity-Based Encryptions -- Multi-Key Homomorphic Proxy Re-Encryption -- Verifiable Decryption for Fully Homomorphic Encryption -- Privacy-Preserving Applications -- Platform-independent Secure Blockchain-Based Voting System -- Privacy in Crowdsourcing: A Systematic Review -- Advanced Signatures -- Anonymous yet Traceable Strong Designated Verifier Signature -- Strongly Unforgeable Signature Resilient to Polynomially Hard-to-Invert Leakage under Standard Assumptions -- A Revocable Group Signature Scheme with Scalability from Simple Assumptions and Its Implementation -- Network Security -- Fast Flux Service Network Detection via Data Mining on Passive DNS Traffic -- Beyond Cookie Monster Amnesia: Real World Persistent Online Tracking -- Cyber-risks in the Industrial Internet of Things: towards a method for continuous assessment. Tipo de medio : Computadora Summary : This book constitutes the proceedings of the 21st International Conference on Information Security, ISC 2018, held in Guildford, UK, in September 2018. The 26 full papers presented in this volume were carefully reviewed and selected from 59 submissions. The book also includes one invited talk in full-paper length. The papers were organized in topical sections named: software security; symmetric ciphers and cryptanalysis; data privacy and anonymization; outsourcing and assisted computing; advanced encryption; privacy-preserving applications; advanced signatures; and network 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 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 [...]
TÃtulo : 25th European Symposium on Research in Computer Security, ESORICS 2020, Guildford, UK, September 14–18, 2020, Proceedings, Part I Tipo de documento: documento electrónico Autores: Chen, Liqun, ; Li, Ninghui, ; Liang, Kaitai, ; Schneider, Steve, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2020 Número de páginas: XXVIII, 760 p. 637 ilustraciones, 141 ilustraciones en color. ISBN/ISSN/DL: 978-3-030-58951-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 Red informática Red de computadoras Software de la aplicacion Computadoras Propósitos especiales IngenierÃa de software Seguridad de datos e información Seguridad móvil y de red Redes de comunicación informática Aplicaciones informáticas y de sistemas de información Sistemas de propósito especial y basados ​​en aplicaciones Clasificación: 005.8 Ciencia de los computadores (Programación, programas de sistemas) Resumen: El conjunto de dos volúmenes, LNCS 12308 + 12309, constituye las actas del 25º Simposio europeo sobre investigación en seguridad informática, ESORICS 2020, que se celebró en septiembre de 2020. Estaba previsto que la conferencia se celebrara en Guildford, Reino Unido. Debido a la pandemia de COVID-19, la conferencia cambió a un formato en lÃnea. El total de 72 artÃculos completos incluidos en estas actas fue cuidadosamente revisado y seleccionado entre 366 presentaciones. Los artÃculos se organizaron en secciones temáticas denominadas: bases de datos y seguridad web; sistema de seguridad; Seguridad de la red; seguridad del software; seguridad del aprendizaje automático; privacidad; modelado formal; criptografÃa aplicada; analizar ataques; criptografÃa poscuántica; análisis de seguridad; y cadena de bloques. . Nota de contenido: Database and Web Security -- Pine: Enabling Privacy-Preserving Deep Packet Inspection on TLS with Rule-Hiding and Fast Connection Establishment -- Bulwark: Holistic and Verified Security Monitoring of Web Protocols -- A Practical Model for Collaborative Databases: Securely Mixing, Searching and Computing -- Software Security -- Follow the blue bird: A study on threat data published on Twitter -- Dynamic and Secure Memory Transformation in Userspace -- Understanding the Security Risks of Docker Hub -- DE-auth of the blue! Transparent De-authentication using Bluetooth Low Energy Beacon -- Software Security -- Similarity of Binaries across Optimization Levels and Obfuscations -- HART: Hardware-assisted Kernel Module Tracing on Arm -- Zipper Stack: Shadow Stacks Without Shadow -- Restructured Cloning Vulnerability Detection Based on Function Semantic Reserving and Reiteration Screening -- LegIoT: Ledgered Trust Management Platform for IoT -- Machine Learning Security -- PrivColl: Practical Privacy-Preserving Collaborative Machine Learning -- An Efficient 3-Party Framework for Privacy-Preserving Neural Network Inference -- Deep Learning Side-Channel Analysis on Large-Scale Traces - A Case Study on a Polymorphic AES -- Towards Poisoning the Neural Collaborative Filtering-Based Recommender Systems -- Machine Learning Security -- Data Poisoning Attacks Against Federated Learning Systems -- Interpretable Probabilistic Password Strength Meters via Deep Learning -- Polisma - A Framework for Learning Attribute-based Access Control Policies -- A Framework for Evaluating Client Privacy Leakages in Federated Learning -- Network Security -- An Accountable Access Control Scheme for Hierarchical Content in Named Data Networks with Revocation -- PGC: Decentralized Con dential Payment System with Auditability -- Secure Cloud Auditing with Efficient Ownership Transfer -- Privacy -- Encrypt-to-self: Securely Outsourcing Storage -- PGLP: Customizable and Rigorous Location Privacy through Policy Graph -- Where are you Bob? Privacy-Preserving Proximity Testing with a Napping Party -- Password and Policy -- Distributed PCFG Password Cracking -- Your PIN Sounds Good! Augmentation of PIN Guessing Strategies Through Audio Leakage -- GDPR - Challenges for Reconciling Legal Rules with Technical Reality. Tipo de medio : Computadora Summary : The two volume set, LNCS 12308 + 12309, constitutes the proceedings of the 25th European Symposium on Research in Computer Security, ESORICS 2020, which was held in September 2020. The conference was planned to take place in Guildford, UK. Due to the COVID-19 pandemic, the conference changed to an online format. The total of 72 full papers included in these proceedings was carefully reviewed and selected from 366 submissions. The papers were organized in topical sections named: database and Web security; system security; network security; software security; machine learning security; privacy; formal modelling; applied cryptography; analyzing attacks; post-quantum cryptogrphy; security analysis; and blockchain. . Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] 25th European Symposium on Research in Computer Security, ESORICS 2020, Guildford, UK, September 14–18, 2020, Proceedings, Part I [documento electrónico] / Chen, Liqun, ; Li, Ninghui, ; Liang, Kaitai, ; Schneider, Steve, . - 1 ed. . - [s.l.] : Springer, 2020 . - XXVIII, 760 p. 637 ilustraciones, 141 ilustraciones en color.
ISBN : 978-3-030-58951-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 Red informática Red de computadoras Software de la aplicacion Computadoras Propósitos especiales IngenierÃa de software Seguridad de datos e información Seguridad móvil y de red Redes de comunicación informática Aplicaciones informáticas y de sistemas de información Sistemas de propósito especial y basados ​​en aplicaciones Clasificación: 005.8 Ciencia de los computadores (Programación, programas de sistemas) Resumen: El conjunto de dos volúmenes, LNCS 12308 + 12309, constituye las actas del 25º Simposio europeo sobre investigación en seguridad informática, ESORICS 2020, que se celebró en septiembre de 2020. Estaba previsto que la conferencia se celebrara en Guildford, Reino Unido. Debido a la pandemia de COVID-19, la conferencia cambió a un formato en lÃnea. El total de 72 artÃculos completos incluidos en estas actas fue cuidadosamente revisado y seleccionado entre 366 presentaciones. Los artÃculos se organizaron en secciones temáticas denominadas: bases de datos y seguridad web; sistema de seguridad; Seguridad de la red; seguridad del software; seguridad del aprendizaje automático; privacidad; modelado formal; criptografÃa aplicada; analizar ataques; criptografÃa poscuántica; análisis de seguridad; y cadena de bloques. . Nota de contenido: Database and Web Security -- Pine: Enabling Privacy-Preserving Deep Packet Inspection on TLS with Rule-Hiding and Fast Connection Establishment -- Bulwark: Holistic and Verified Security Monitoring of Web Protocols -- A Practical Model for Collaborative Databases: Securely Mixing, Searching and Computing -- Software Security -- Follow the blue bird: A study on threat data published on Twitter -- Dynamic and Secure Memory Transformation in Userspace -- Understanding the Security Risks of Docker Hub -- DE-auth of the blue! Transparent De-authentication using Bluetooth Low Energy Beacon -- Software Security -- Similarity of Binaries across Optimization Levels and Obfuscations -- HART: Hardware-assisted Kernel Module Tracing on Arm -- Zipper Stack: Shadow Stacks Without Shadow -- Restructured Cloning Vulnerability Detection Based on Function Semantic Reserving and Reiteration Screening -- LegIoT: Ledgered Trust Management Platform for IoT -- Machine Learning Security -- PrivColl: Practical Privacy-Preserving Collaborative Machine Learning -- An Efficient 3-Party Framework for Privacy-Preserving Neural Network Inference -- Deep Learning Side-Channel Analysis on Large-Scale Traces - A Case Study on a Polymorphic AES -- Towards Poisoning the Neural Collaborative Filtering-Based Recommender Systems -- Machine Learning Security -- Data Poisoning Attacks Against Federated Learning Systems -- Interpretable Probabilistic Password Strength Meters via Deep Learning -- Polisma - A Framework for Learning Attribute-based Access Control Policies -- A Framework for Evaluating Client Privacy Leakages in Federated Learning -- Network Security -- An Accountable Access Control Scheme for Hierarchical Content in Named Data Networks with Revocation -- PGC: Decentralized Con dential Payment System with Auditability -- Secure Cloud Auditing with Efficient Ownership Transfer -- Privacy -- Encrypt-to-self: Securely Outsourcing Storage -- PGLP: Customizable and Rigorous Location Privacy through Policy Graph -- Where are you Bob? Privacy-Preserving Proximity Testing with a Napping Party -- Password and Policy -- Distributed PCFG Password Cracking -- Your PIN Sounds Good! Augmentation of PIN Guessing Strategies Through Audio Leakage -- GDPR - Challenges for Reconciling Legal Rules with Technical Reality. Tipo de medio : Computadora Summary : The two volume set, LNCS 12308 + 12309, constitutes the proceedings of the 25th European Symposium on Research in Computer Security, ESORICS 2020, which was held in September 2020. The conference was planned to take place in Guildford, UK. Due to the COVID-19 pandemic, the conference changed to an online format. The total of 72 full papers included in these proceedings was carefully reviewed and selected from 366 submissions. The papers were organized in topical sections named: database and Web security; system security; network security; software security; machine learning security; privacy; formal modelling; applied cryptography; analyzing attacks; post-quantum cryptogrphy; security analysis; and blockchain. . Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
TÃtulo : 25th European Symposium on Research in Computer Security, ESORICS 2020, Guildford, UK, September 14–18, 2020, Proceedings, Part II Tipo de documento: documento electrónico Autores: Chen, Liqun, ; Li, Ninghui, ; Liang, Kaitai, ; Schneider, Steve, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2020 Número de páginas: XXVIII, 760 p. 391 ilustraciones, 81 ilustraciones en color. ISBN/ISSN/DL: 978-3-030-59013-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 Red informática Red de computadoras Software de la aplicacion Computadoras Propósitos especiales IngenierÃa de software Seguridad de datos e información Seguridad móvil y de red Redes de comunicación informática Aplicaciones informáticas y de sistemas de información Sistemas de propósito especial y basados ​​en aplicaciones Clasificación: 005.8 Ciencia de los computadores (Programación, programas de sistemas) Resumen: El conjunto de dos volúmenes, LNCS 12308 + 12309, constituye las actas del 25º Simposio europeo sobre investigación en seguridad informática, ESORICS 2020, que se celebró en septiembre de 2020. Estaba previsto que la conferencia se celebrara en Guildford, Reino Unido. Debido a la pandemia de COVID-19, la conferencia cambió a un formato en lÃnea. El total de 72 artÃculos completos incluidos en estas actas fue cuidadosamente revisado y seleccionado entre 366 presentaciones. Los artÃculos se organizaron en secciones temáticas denominadas: bases de datos y seguridad web; sistema de seguridad; Seguridad de la red; seguridad del software; seguridad del aprendizaje automático; privacidad; modelado formal; criptografÃa aplicada; analizar ataques; criptografÃa poscuántica; análisis de seguridad; y cadena de bloques. . Nota de contenido: Formal Modelling -- Automatic generation of source lemmas in Tamarin: towards automatic proofs of security protocols -- When is a test not a proof -- Hardware Fingerprinting for the ARINC 429 Avionic Bus -- Applied Cryptography -- Semantic Definition of Anonymity in Identity-Based Encryption and Its Relation to Indistinguishability-based Definition -- SHECS-PIR: Somewhat Homomorphic Encryption-based Compact and Scalable Private Information Retrieval -- Puncturable Encryption: A Generic Construction from Delegatable Fully Key-Homomorphic Encryption -- Analyzing Attacks -- Linear Attack on Round-Reduced DES Using Deep Learning -- Detection by Attack: Detecting Adversarial Samples by Undercover Attack -- Big Enough to Care Not Enough to Scare! Crawling to Attack Recommender Systems -- Active Re-identification Attacks on Periodically Released Dynamic Social Graphs -- System Security -- Fooling primality tests on smartcards -- An Optimizing Protocol Transformation for Constructor Finite Variant Theories in Maude-NPA -- On the Privacy Risks of Compromised Trigger-Action Platforms -- Plenty of Phish in the Sea: Analyzing Potential Pre-Attack Surfaces -- Post-Quantum Cryptography -- Towards Post-Quantum Security for Cyber-Physical Systems: Integrating PQC into Industrial M2M Communication -- CSH: A Post-quantum Secret Handshake Scheme from Coding Theory -- A Verifiable and Practical Lattice-Based Decryption Mix Net with External Auditing -- A Lattice-Based Key-Insulated and Privacy-Preserving Signature Scheme with Publicly Derived Public Key -- Post-Quantum Adaptor Signatures and Payment Channel Networks -- Security Analysis -- Linear-Complexity Private Function Evaluation is Practical -- Certifying Decision Trees Against Evasion Attacks by Program Analysis -- They Might NOT Be Giants: Crafting Black-Box Adversarial Examples Using Particle Swarm Optimization -- Understanding Object Detection Through An Adversarial Lens -- Applied Cryptography -- Signatures with Tight Multi-User Security from Search Assumptions -- Biased RSA private keys: Origin attribution of GCD-factorable keys -- MAC-in-the-Box: Verifying a Minimalistic Hardware Design for MAC Computation -- Evaluating the e ectiveness of heuristic worst-case noise analysis in FHE -- Blockchain -- How to Model the Bribery Attack: A Practical Quanti cation Method in Blockchain -- Updatable Blockchains -- PrivacyGuard: Enforcing Private Data Usage Control with Blockchain and Off-chain Contract Execution -- Applied Cryptography -- Identity-Based Authenticated Encryption with Identity Confidentiality -- Securing DNSSEC Keys via Threshold ECDSA From Generic MPC -- On Private Information Retrieval Supporting Range Queries -- Blockchain -- 2-hop Blockchain: Combining Proof-of-Work and Proof-of-Stake Securely -- Generic Superlight Client for Permissionless Blockchains -- LNBot: A Covert Hybrid Botnet on Bitcoin Lightning Network for Fun and Profit. Tipo de medio : Computadora Summary : The two volume set, LNCS 12308 + 12309, constitutes the proceedings of the 25th European Symposium on Research in Computer Security, ESORICS 2020, which was held in September 2020. The conference was planned to take place in Guildford, UK. Due to the COVID-19 pandemic, the conference changed to an online format. The total of 72 full papers included in these proceedings was carefully reviewed and selected from 366 submissions. The papers were organized in topical sections named: database and Web security; system security; network security; software security; machine learning security; privacy; formal modelling; applied cryptography; analyzing attacks; post-quantum cryptogrphy; security analysis; and blockchain. . Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] 25th European Symposium on Research in Computer Security, ESORICS 2020, Guildford, UK, September 14–18, 2020, Proceedings, Part II [documento electrónico] / Chen, Liqun, ; Li, Ninghui, ; Liang, Kaitai, ; Schneider, Steve, . - 1 ed. . - [s.l.] : Springer, 2020 . - XXVIII, 760 p. 391 ilustraciones, 81 ilustraciones en color.
ISBN : 978-3-030-59013-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 Red informática Red de computadoras Software de la aplicacion Computadoras Propósitos especiales IngenierÃa de software Seguridad de datos e información Seguridad móvil y de red Redes de comunicación informática Aplicaciones informáticas y de sistemas de información Sistemas de propósito especial y basados ​​en aplicaciones Clasificación: 005.8 Ciencia de los computadores (Programación, programas de sistemas) Resumen: El conjunto de dos volúmenes, LNCS 12308 + 12309, constituye las actas del 25º Simposio europeo sobre investigación en seguridad informática, ESORICS 2020, que se celebró en septiembre de 2020. Estaba previsto que la conferencia se celebrara en Guildford, Reino Unido. Debido a la pandemia de COVID-19, la conferencia cambió a un formato en lÃnea. El total de 72 artÃculos completos incluidos en estas actas fue cuidadosamente revisado y seleccionado entre 366 presentaciones. Los artÃculos se organizaron en secciones temáticas denominadas: bases de datos y seguridad web; sistema de seguridad; Seguridad de la red; seguridad del software; seguridad del aprendizaje automático; privacidad; modelado formal; criptografÃa aplicada; analizar ataques; criptografÃa poscuántica; análisis de seguridad; y cadena de bloques. . Nota de contenido: Formal Modelling -- Automatic generation of source lemmas in Tamarin: towards automatic proofs of security protocols -- When is a test not a proof -- Hardware Fingerprinting for the ARINC 429 Avionic Bus -- Applied Cryptography -- Semantic Definition of Anonymity in Identity-Based Encryption and Its Relation to Indistinguishability-based Definition -- SHECS-PIR: Somewhat Homomorphic Encryption-based Compact and Scalable Private Information Retrieval -- Puncturable Encryption: A Generic Construction from Delegatable Fully Key-Homomorphic Encryption -- Analyzing Attacks -- Linear Attack on Round-Reduced DES Using Deep Learning -- Detection by Attack: Detecting Adversarial Samples by Undercover Attack -- Big Enough to Care Not Enough to Scare! Crawling to Attack Recommender Systems -- Active Re-identification Attacks on Periodically Released Dynamic Social Graphs -- System Security -- Fooling primality tests on smartcards -- An Optimizing Protocol Transformation for Constructor Finite Variant Theories in Maude-NPA -- On the Privacy Risks of Compromised Trigger-Action Platforms -- Plenty of Phish in the Sea: Analyzing Potential Pre-Attack Surfaces -- Post-Quantum Cryptography -- Towards Post-Quantum Security for Cyber-Physical Systems: Integrating PQC into Industrial M2M Communication -- CSH: A Post-quantum Secret Handshake Scheme from Coding Theory -- A Verifiable and Practical Lattice-Based Decryption Mix Net with External Auditing -- A Lattice-Based Key-Insulated and Privacy-Preserving Signature Scheme with Publicly Derived Public Key -- Post-Quantum Adaptor Signatures and Payment Channel Networks -- Security Analysis -- Linear-Complexity Private Function Evaluation is Practical -- Certifying Decision Trees Against Evasion Attacks by Program Analysis -- They Might NOT Be Giants: Crafting Black-Box Adversarial Examples Using Particle Swarm Optimization -- Understanding Object Detection Through An Adversarial Lens -- Applied Cryptography -- Signatures with Tight Multi-User Security from Search Assumptions -- Biased RSA private keys: Origin attribution of GCD-factorable keys -- MAC-in-the-Box: Verifying a Minimalistic Hardware Design for MAC Computation -- Evaluating the e ectiveness of heuristic worst-case noise analysis in FHE -- Blockchain -- How to Model the Bribery Attack: A Practical Quanti cation Method in Blockchain -- Updatable Blockchains -- PrivacyGuard: Enforcing Private Data Usage Control with Blockchain and Off-chain Contract Execution -- Applied Cryptography -- Identity-Based Authenticated Encryption with Identity Confidentiality -- Securing DNSSEC Keys via Threshold ECDSA From Generic MPC -- On Private Information Retrieval Supporting Range Queries -- Blockchain -- 2-hop Blockchain: Combining Proof-of-Work and Proof-of-Stake Securely -- Generic Superlight Client for Permissionless Blockchains -- LNBot: A Covert Hybrid Botnet on Bitcoin Lightning Network for Fun and Profit. Tipo de medio : Computadora Summary : The two volume set, LNCS 12308 + 12309, constitutes the proceedings of the 25th European Symposium on Research in Computer Security, ESORICS 2020, which was held in September 2020. The conference was planned to take place in Guildford, UK. Due to the COVID-19 pandemic, the conference changed to an online format. The total of 72 full papers included in these proceedings was carefully reviewed and selected from 366 submissions. The papers were organized in topical sections named: database and Web security; system security; network security; software security; machine learning security; privacy; formal modelling; applied cryptography; analyzing attacks; post-quantum cryptogrphy; security analysis; and blockchain. . Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
