Skip to main content
Ir a la página de inicio de la Comisión Europea (se abrirá en una nueva ventana)
español español
CORDIS - Resultados de investigaciones de la UE
CORDIS

Custom Cryptographic Solutions with Formal Security Guarantees

CORDIS proporciona enlaces a los documentos públicos y las publicaciones de los proyectos de los programas marco HORIZONTE.

Los enlaces a los documentos y las publicaciones de los proyectos del Séptimo Programa Marco, así como los enlaces a algunos tipos de resultados específicos, como conjuntos de datos y «software», se obtienen dinámicamente de OpenAIRE .

Resultado final

Publicaciones

Noise*: A Library of Verified High-Performance Secure Channel Protocol Implementations (se abrirá en una nueva ventana)

Autores: S. Ho, J. Protzenko, A. Bichhawat and K. Bhargavan
Publicado en: 2022 IEEE Symposium on Security and Privacy (SP), 2022, ISSN 2375-1207
Editor: IEEE
DOI: 10.1109/SP46214.2022.9833621

A Symbolic Analysis of Privacy for TLS 1.3 with Encrypted Client Hello (se abrirá en una nueva ventana)

Autores: Karthikeyan Bhargavan, Vincent Cheval and Christopher A. Wood
Publicado en: Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security (CCS '22), 2022, ISBN 9781450394505
Editor: Association for Computing Machinery
DOI: 10.1145/3548606.3559360

From Dragondoom to Dragonstar: Side-channel Attacks and Formally Verified Implementation of WPA3 Dragonfly Handshake (se abrirá en una nueva ventana)

Autores: Daniel De Almeida Braga; Natalia Kulatova; Mohamed Sabt; Pierre-Alain Fouque; Karthikeyan Bhargavan
Publicado en: 2023 IEEE 8th European Symposium on Security and Privacy (EuroS&P), 2023, ISBN 978-1-6654-6512-0
Editor: IEEE
DOI: 10.1109/EuroSP57164.2023.00048

Comparse: Provably Secure Formats for Cryptographic Protocols (se abrirá en una nueva ventana)

Autores: Théophile Wallez, Jonathan Protzenko, and Karthikeyan Bhargavan
Publicado en: Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security (CCS '23), 2023, ISBN 9798400700507
Editor: Association for Computing Machinery
DOI: 10.1145/3576915.3623201

TreeSync: Authenticated Group Management for Messaging Layer Security (se abrirá en una nueva ventana)

Autores: Théophile Wallez, Jonathan Protzenko, Benjamin Beurdouche, and Karthikeyan Bhargavan
Publicado en: roceedings of the 32nd USENIX Conference on Security Symposium (SEC '23), 2023, ISBN 978-1-939133-37-3
Editor: USENIX Association
DOI: 10.5555/3620237.3620306

Buscando datos de OpenAIRE...

Se ha producido un error en la búsqueda de datos de OpenAIRE

No hay resultados disponibles

Mi folleto 0 0