Search

News
People
Events
Publications
Contact

Sofía Celi

Latest

A tale of two models: formal verification of KEMTLS in Tamarin
Implementing and Measuring KEMTLS
KEMTLS: securing TLS connections from quantum adversaries
Post-Quantum TLS without handshake signatures at RWC 2021

© 2024 authors. This work is licensed under CC BY SA 4.0

Published with Wowchemy — the free, open source website builder that empowers creators.

Cite