Autor Manulis, Mark
|
|
Documentos disponibles escritos por este autor (2)
Hacer una sugerencia 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. 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) Índice Dewey: 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. 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 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.
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) Índice Dewey: 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. 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 : ESORICS 2020 International Workshops, DETIPS, DeSECSys, MPS, and SPOSE, Guildford, UK, September 17–18, 2020, Revised Selected Papers Tipo de documento: documento electrónico Autores: Boureanu, Ioana, ; Drăgan, Constantin Cătălin, ; Manulis, Mark, ; Giannetsos, Thanassis, ; Dadoyan, Christoforos, ; Gouvas, Panagiotis, ; Hallman, Roger A., ; Li, Shujun, ; Chang, Victor, ; Pallas, Frank, ; Pohle, Jörg, ; Sasse, Angela, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2020 Número de páginas: XXVIII, 329 p. 129 ilustraciones, 56 ilustraciones en color. ISBN/ISSN/DL: 978-3-030-66504-3 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) Software de la aplicacion Red de computadoras Protección de datos Ordenadores Criptología Aplicaciones informáticas y de sistemas de información Redes de comunicación informática Servicios de seguridad Entornos informáticos Índice Dewey: 5.824 Resumen: Este libro constituye las actas posteriores a la conferencia arbitradas del Taller interdisciplinario sobre confianza, identidad, privacidad y seguridad en la economía digital, DETIPS 2020; el Primer Taller Internacional sobre Confiabilidad y Seguridad de los Sistemas Emergentes de Nube y Niebla, DeSECSys 2020; Tercer Taller Internacional sobre Privacidad y Seguridad Multimedia, MPS 2020; y el Segundo Taller sobre Seguridad, Privacidad, Organizaciones e Ingeniería de Sistemas, SPOSE 2020; celebrado en Guildford, Reino Unido, en septiembre de 2020, junto con el 25º Simposio europeo sobre investigación en seguridad informática, ESORICS 2020. Se presentaron un total de 42 artículos. Para el Taller DETIPS se seleccionaron 8 artículos regulares para su presentación. Los temas de interés abordan diversos aspectos de las áreas centrales en relación con la economía digital. Para el Taller DeSECSys se incluyen 4 artículos regulares. El taller tuvo como objetivo fomentar la colaboración y el debate entre investigadores y profesionales de la ciberseguridad para discutir las diversas facetas y compensaciones de la ciberseguridad. En particular, las aplicaciones, oportunidades y posibles deficiencias de las nuevas tecnologías de seguridad y su integración en dominios de aplicaciones emergentes. Para el Taller MPS se presentan 4 artículos regulares que cubren temas relacionados con la seguridad y privacidad de los sistemas multimedia de sistemas de videoconferencia basados en Internet (p. ej., Zoom, Microsoft Teams, Google Meet), salas de chat en línea (p. ej., Slack), así como así como otros servicios para apoyar las capacidades de teletrabajo. Para el Taller SPOSE se aceptaron para publicación 3 artículos completos. Reflejan la discusión, el intercambio y el desarrollo de ideas y preguntas sobre el diseño y la ingeniería de mecanismos técnicos de seguridad y privacidad con especial referencia a contextos organizacionales. Nota de contenido: DETIPS 2020: Interdisciplinary Workshop on Trust, Identity, Privacy, and Security in the Digital Economy -- DeSECSys 2020: First International Workshop on Dependability and Safety of Emerging Cloud and Fog Systems; MPS 2020: Third International Workshop on Multimedia Privacy and Security -- SPOSE 2020: Second Workshop on Security, Privacy, Organizations, and Systems Engineering. 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 ESORICS 2020 International Workshops, DETIPS, DeSECSys, MPS, and SPOSE, Guildford, UK, September 17–18, 2020, Revised Selected Papers [documento electrónico] / Boureanu, Ioana, ; Drăgan, Constantin Cătălin, ; Manulis, Mark, ; Giannetsos, Thanassis, ; Dadoyan, Christoforos, ; Gouvas, Panagiotis, ; Hallman, Roger A., ; Li, Shujun, ; Chang, Victor, ; Pallas, Frank, ; Pohle, Jörg, ; Sasse, Angela, . - 1 ed. . - [s.l.] : Springer, 2020 . - XXVIII, 329 p. 129 ilustraciones, 56 ilustraciones en color.
ISBN : 978-3-030-66504-3
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) Software de la aplicacion Red de computadoras Protección de datos Ordenadores Criptología Aplicaciones informáticas y de sistemas de información Redes de comunicación informática Servicios de seguridad Entornos informáticos Índice Dewey: 5.824 Resumen: Este libro constituye las actas posteriores a la conferencia arbitradas del Taller interdisciplinario sobre confianza, identidad, privacidad y seguridad en la economía digital, DETIPS 2020; el Primer Taller Internacional sobre Confiabilidad y Seguridad de los Sistemas Emergentes de Nube y Niebla, DeSECSys 2020; Tercer Taller Internacional sobre Privacidad y Seguridad Multimedia, MPS 2020; y el Segundo Taller sobre Seguridad, Privacidad, Organizaciones e Ingeniería de Sistemas, SPOSE 2020; celebrado en Guildford, Reino Unido, en septiembre de 2020, junto con el 25º Simposio europeo sobre investigación en seguridad informática, ESORICS 2020. Se presentaron un total de 42 artículos. Para el Taller DETIPS se seleccionaron 8 artículos regulares para su presentación. Los temas de interés abordan diversos aspectos de las áreas centrales en relación con la economía digital. Para el Taller DeSECSys se incluyen 4 artículos regulares. El taller tuvo como objetivo fomentar la colaboración y el debate entre investigadores y profesionales de la ciberseguridad para discutir las diversas facetas y compensaciones de la ciberseguridad. En particular, las aplicaciones, oportunidades y posibles deficiencias de las nuevas tecnologías de seguridad y su integración en dominios de aplicaciones emergentes. Para el Taller MPS se presentan 4 artículos regulares que cubren temas relacionados con la seguridad y privacidad de los sistemas multimedia de sistemas de videoconferencia basados en Internet (p. ej., Zoom, Microsoft Teams, Google Meet), salas de chat en línea (p. ej., Slack), así como así como otros servicios para apoyar las capacidades de teletrabajo. Para el Taller SPOSE se aceptaron para publicación 3 artículos completos. Reflejan la discusión, el intercambio y el desarrollo de ideas y preguntas sobre el diseño y la ingeniería de mecanismos técnicos de seguridad y privacidad con especial referencia a contextos organizacionales. Nota de contenido: DETIPS 2020: Interdisciplinary Workshop on Trust, Identity, Privacy, and Security in the Digital Economy -- DeSECSys 2020: First International Workshop on Dependability and Safety of Emerging Cloud and Fog Systems; MPS 2020: Third International Workshop on Multimedia Privacy and Security -- SPOSE 2020: Second Workshop on Security, Privacy, Organizations, and Systems Engineering. 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
