Custom Cryptographic Solutions with Formal Security Guarantees

Informazioni relative al progetto

CRYSPEN

ID dell’accordo di sovvenzione: 101069446

DOI

10.3030/101069446

Progetto chiuso

Data della firma CE 28 Marzo 2022

Data di avvio 1 Aprile 2022

Data di completamento 30 Settembre 2023

Finanziato da

• European Research Council (ERC)

Costo totale

Nessun dato

Contributo UE

€ 150 000,00

Coordinato da

INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET AUTOMATIQUE
France

CORDIS fornisce collegamenti ai risultati finali pubblici e alle pubblicazioni dei progetti ORIZZONTE.

I link ai risultati e alle pubblicazioni dei progetti del 7° PQ, così come i link ad alcuni tipi di risultati specifici come dataset e software, sono recuperati dinamicamente da .OpenAIRE .

Risultati finali

Data Management Plan (1)

Data Management Plan

Pubblicazioni

Conference proceedings (5)

Noise*: A Library of Verified High-Performance Secure Channel Protocol Implementations

Autori: S. Ho, J. Protzenko, A. Bichhawat and K. Bhargavan
Pubblicato in: 2022 IEEE Symposium on Security and Privacy (SP), 2022, ISSN 2375-1207
Editore: IEEE
DOI: 10.1109/SP46214.2022.9833621

A Symbolic Analysis of Privacy for TLS 1.3 with Encrypted Client Hello

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

From Dragondoom to Dragonstar: Side-channel Attacks and Formally Verified Implementation of WPA3 Dragonfly Handshake

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

Comparse: Provably Secure Formats for Cryptographic Protocols

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

TreeSync: Authenticated Group Management for Messaging Layer Security

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