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
