Autor Ryan, Peter Y. A.
|
|
Documentos disponibles escritos por este autor (3)
Hacer una sugerencia Refinar búsqueda24th European Symposium on Research in Computer Security, Luxembourg, September 23–27, 2019, Proceedings, Part I / Sako, Kazue ; Schneider, Steve ; Ryan, Peter Y. A.
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. 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 Índice Dewey: 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. En línea: https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Link: https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i 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.
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 Índice Dewey: 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. En línea: https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Link: https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i
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. 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 Índice Dewey: 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. En línea: https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Link: https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i 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.
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 Índice Dewey: 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. En línea: https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Link: https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i
Título : Electronic Voting : First International Joint Conference, E-Vote-ID 2016, Bregenz, Austria, October 18-21, 2016, Proceedings Tipo de documento: documento electrónico Autores: Krimmer, Robert, ; Volkamer, Melanie, ; Barrat, Jordi, ; Benaloh, Josh, ; Goodman, Nicole, ; Ryan, Peter Y. A., ; Teague, Vanessa, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2017 Número de páginas: X, 233 p. 32 ilustraciones ISBN/ISSN/DL: 978-3-319-52240-1 Nota general: Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. Palabras clave: Criptografía Cifrado de datos (Informática) Protección de datos Red de computadoras Computadoras Propósitos especiales Tecnología de la información Computadoras y civilización Criptología Seguridad de datos e información Redes de comunicación informática Sistemas de propósito especial y basados en aplicaciones Aplicación Informática en Tratamiento de Datos Administrativos Computadoras y sociedad Índice Dewey: 5.824 Resumen: Este libro constituye las actas de la Primera Conferencia Internacional Conjunta sobre Voto Electrónico, E-Vote-ID 2016, celebrada en Bregenz, Austria, en octubre de 2016. Los 14 artículos completos presentados fueron cuidadosamente revisados y seleccionados entre 57 presentaciones. Representan una amplia gama de propuestas tecnológicas para diferentes entornos de votación (ya sea en colegios electorales, votación remota o incluso votación móvil) y estudios de casos de diferentes países que ya utilizan el voto electrónico o han realizado primeras elecciones de prueba. Nota de contenido: Different voting settings -- Polling stations -- Remote voting -- Mobile voging -- Case studies. En línea: https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Link: https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i Electronic Voting : First International Joint Conference, E-Vote-ID 2016, Bregenz, Austria, October 18-21, 2016, Proceedings [documento electrónico] / Krimmer, Robert, ; Volkamer, Melanie, ; Barrat, Jordi, ; Benaloh, Josh, ; Goodman, Nicole, ; Ryan, Peter Y. A., ; Teague, Vanessa, . - 1 ed. . - [s.l.] : Springer, 2017 . - X, 233 p. 32 ilustraciones.
ISBN : 978-3-319-52240-1
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.
Palabras clave: Criptografía Cifrado de datos (Informática) Protección de datos Red de computadoras Computadoras Propósitos especiales Tecnología de la información Computadoras y civilización Criptología Seguridad de datos e información Redes de comunicación informática Sistemas de propósito especial y basados en aplicaciones Aplicación Informática en Tratamiento de Datos Administrativos Computadoras y sociedad Índice Dewey: 5.824 Resumen: Este libro constituye las actas de la Primera Conferencia Internacional Conjunta sobre Voto Electrónico, E-Vote-ID 2016, celebrada en Bregenz, Austria, en octubre de 2016. Los 14 artículos completos presentados fueron cuidadosamente revisados y seleccionados entre 57 presentaciones. Representan una amplia gama de propuestas tecnológicas para diferentes entornos de votación (ya sea en colegios electorales, votación remota o incluso votación móvil) y estudios de casos de diferentes países que ya utilizan el voto electrónico o han realizado primeras elecciones de prueba. Nota de contenido: Different voting settings -- Polling stations -- Remote voting -- Mobile voging -- Case studies. En línea: https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Link: https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i
