Skip to main content
Go to the home page of the European Commission (opens in new window)
English English
CORDIS - EU research results
CORDIS

Custom Cryptographic Solutions with Formal Security Guarantees

CORDIS provides links to public deliverables and publications of HORIZON projects.

Links to deliverables and publications from FP7 projects, as well as links to some specific result types such as dataset and software, are dynamically retrieved from OpenAIRE .

Deliverables

Publications

Noise*: A Library of Verified High-Performance Secure Channel Protocol Implementations (opens in new window)

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

A Symbolic Analysis of Privacy for TLS 1.3 with Encrypted Client Hello (opens in new window)

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

From Dragondoom to Dragonstar: Side-channel Attacks and Formally Verified Implementation of WPA3 Dragonfly Handshake (opens in new window)

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

Comparse: Provably Secure Formats for Cryptographic Protocols (opens in new window)

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

TreeSync: Authenticated Group Management for Messaging Layer Security (opens in new window)

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

Searching for OpenAIRE data...

There was an error trying to search data from OpenAIRE

No results available

My booklet 0 0