Información del autor
Autor Chen, Liqun |
Documentos disponibles escritos por este autor (4)
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 : 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 [...]
TÃtulo : Information and Communications Security : 19th International Conference, ICICS 2017, Beijing, China, December 6-8, 2017, Proceedings Tipo de documento: documento electrónico Autores: Qing, Sihan, ; Mitchell, Chris, ; Chen, Liqun, ; Liu, Dongmei, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2018 Número de páginas: XVI, 689 p. 168 ilustraciones ISBN/ISSN/DL: 978-3-319-89500-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: Aspectos Legales de la Computación Estructuras de datos (Informática) IngenierÃa de software Computadoras y sociedad Redes de comunicación informática Estructuras de datos y teorÃa de la información Computadoras y civilización TecnologÃa de la info Clasificación: 005.73 Resumen: Este libro constituye las actas arbitradas de la 19.ª Conferencia Internacional sobre Seguridad de la Información y las Comunicaciones, ICICS 2017, celebrada en Beijing, China, en diciembre de 2017. Los 43 artÃculos completos revisados ​​y los 14 artÃculos breves presentados fueron cuidadosamente seleccionados entre 188 presentaciones. Los artÃculos cubren temas como Análisis formal y Prueba de aleatoriedad; Esquema de Firma y Gestión de Claves; Algoritmos; CriptografÃa Aplicada; Ataques y Defensa de Ataques; Seguridad de la red de sensores inalámbricos; Aplicaciones de seguridad; Defensa de códigos maliciosos y seguridad móvil; Seguridad de la IoT; Seguridad del Sistema de Control Industrial y Sanitario; Protección de la Privacidad; Cuestiones de ingenierÃa de las criptomonedas; Seguridad en la nube y el comercio electrónico; Protocolos de Seguridad; Seguridad de la red. . Nota de contenido: Formal Analysis and Randomness Test -- Signature Scheme and Key Management -- Algorithms -- Applied Cryptography -- Attacks and Attacks Defense -- Wireless Sensor Network Security -- Security Applications -- Malicious Code Defense and Mobile Security -- IoT Security -- Healthcare and Industrial Control System Security -- Privacy Protection -- Engineering Issues of Crypto -- Cloud and E-commerce Security -- Security Protocols -- Network Security. Tipo de medio : Computadora Summary : This book constitutes the refereed proceedings of the 19th International Conference on Information and Communications Security, ICICS 2017, held in Beijing, China, in December 2017. The 43 revised full papers and 14 short papers presented were carefully selected from 188 submissions. The papers cover topics such as Formal Analysis and Randomness Test; Signature Scheme and Key Management; Algorithms; Applied Cryptography; Attacks and Attacks Defense; Wireless Sensor Network Security; Security Applications; Malicious Code Defense and Mobile Security; IoT Security; Healthcare and Industrial Control System Security; Privacy Protection; Engineering Issues of Crypto; Cloud and E-commerce Security; Security Protocols; Network Security. . Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Information and Communications Security : 19th International Conference, ICICS 2017, Beijing, China, December 6-8, 2017, Proceedings [documento electrónico] / Qing, Sihan, ; Mitchell, Chris, ; Chen, Liqun, ; Liu, Dongmei, . - 1 ed. . - [s.l.] : Springer, 2018 . - XVI, 689 p. 168 ilustraciones.
ISBN : 978-3-319-89500-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: Aspectos Legales de la Computación Estructuras de datos (Informática) IngenierÃa de software Computadoras y sociedad Redes de comunicación informática Estructuras de datos y teorÃa de la información Computadoras y civilización TecnologÃa de la info Clasificación: 005.73 Resumen: Este libro constituye las actas arbitradas de la 19.ª Conferencia Internacional sobre Seguridad de la Información y las Comunicaciones, ICICS 2017, celebrada en Beijing, China, en diciembre de 2017. Los 43 artÃculos completos revisados ​​y los 14 artÃculos breves presentados fueron cuidadosamente seleccionados entre 188 presentaciones. Los artÃculos cubren temas como Análisis formal y Prueba de aleatoriedad; Esquema de Firma y Gestión de Claves; Algoritmos; CriptografÃa Aplicada; Ataques y Defensa de Ataques; Seguridad de la red de sensores inalámbricos; Aplicaciones de seguridad; Defensa de códigos maliciosos y seguridad móvil; Seguridad de la IoT; Seguridad del Sistema de Control Industrial y Sanitario; Protección de la Privacidad; Cuestiones de ingenierÃa de las criptomonedas; Seguridad en la nube y el comercio electrónico; Protocolos de Seguridad; Seguridad de la red. . Nota de contenido: Formal Analysis and Randomness Test -- Signature Scheme and Key Management -- Algorithms -- Applied Cryptography -- Attacks and Attacks Defense -- Wireless Sensor Network Security -- Security Applications -- Malicious Code Defense and Mobile Security -- IoT Security -- Healthcare and Industrial Control System Security -- Privacy Protection -- Engineering Issues of Crypto -- Cloud and E-commerce Security -- Security Protocols -- Network Security. Tipo de medio : Computadora Summary : This book constitutes the refereed proceedings of the 19th International Conference on Information and Communications Security, ICICS 2017, held in Beijing, China, in December 2017. The 43 revised full papers and 14 short papers presented were carefully selected from 188 submissions. The papers cover topics such as Formal Analysis and Randomness Test; Signature Scheme and Key Management; Algorithms; Applied Cryptography; Attacks and Attacks Defense; Wireless Sensor Network Security; Security Applications; Malicious Code Defense and Mobile Security; IoT Security; Healthcare and Industrial Control System Security; Privacy Protection; Engineering Issues of Crypto; Cloud and E-commerce Security; Security Protocols; Network Security. . Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
