Skip to main content
Aller à la page d’accueil de la Commission européenne (s’ouvre dans une nouvelle fenêtre)
français français
CORDIS - Résultats de la recherche de l’UE
CORDIS

Custom Cryptographic Solutions with Formal Security Guarantees

CORDIS fournit des liens vers les livrables publics et les publications des projets HORIZON.

Les liens vers les livrables et les publications des projets du 7e PC, ainsi que les liens vers certains types de résultats spécifiques tels que les jeux de données et les logiciels, sont récupérés dynamiquement sur OpenAIRE .

Livrables

Publications

Noise*: A Library of Verified High-Performance Secure Channel Protocol Implementations (s’ouvre dans une nouvelle fenêtre)

Auteurs: S. Ho, J. Protzenko, A. Bichhawat and K. Bhargavan
Publié dans: 2022 IEEE Symposium on Security and Privacy (SP), 2022, ISSN 2375-1207
Éditeur: IEEE
DOI: 10.1109/SP46214.2022.9833621

A Symbolic Analysis of Privacy for TLS 1.3 with Encrypted Client Hello (s’ouvre dans une nouvelle fenêtre)

Auteurs: Karthikeyan Bhargavan, Vincent Cheval and Christopher A. Wood
Publié dans: Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security (CCS '22), 2022, ISBN 9781450394505
Éditeur: Association for Computing Machinery
DOI: 10.1145/3548606.3559360

From Dragondoom to Dragonstar: Side-channel Attacks and Formally Verified Implementation of WPA3 Dragonfly Handshake (s’ouvre dans une nouvelle fenêtre)

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

Comparse: Provably Secure Formats for Cryptographic Protocols (s’ouvre dans une nouvelle fenêtre)

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

TreeSync: Authenticated Group Management for Messaging Layer Security (s’ouvre dans une nouvelle fenêtre)

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

Recherche de données OpenAIRE...

Une erreur s’est produite lors de la recherche de données OpenAIRE

Aucun résultat disponible

Mon livret 0 0