CE CE Labs Cryptography Engineering
Contact
Publications

Publications

Peer-reviewed research from the CE Labs team on cryptography, protocol analysis, and formal methods.

2026

embedded-cal: A Formally Verified Cryptographic Provider for Embedded Platforms

Elsa López Pérez, William Takeshi Pereira, Thomas Watteyne, Christian Amsüss, Jonas Schneider-Bensch, Karthikeyan Bhargavan, Franziskus Kiefer, Malisa Vucinic
IEEE PerCom Workshops, 2026
PDF DOI
2025

Public Key Linting for ML-KEM and ML-DSA

Evangelos Karatsiolis, Franziskus Kiefer, Juliane Krämer, Mirjam Loiero, Christian Tobias, Maximiliane Weishäupl
ACNS Workshops, 2025
PDF DOI
2025

KyberSlash: Exploiting secret-dependent division timings in Kyber implementations

Daniel J. Bernstein, Karthikeyan Bhargavan, Shivam Bhasin, Anupam Chattopadhyay, Tee Kiah Chia, Matthias J. Kannwischer, Franziskus Kiefer, Thales B. Paiva, Prasanna Ravi, Goutam Tamvada
IACR Transactions on Cryptographic Hardware and Embedded Systems (TCHES), 2025
PDF DOI
2025

Formal Security and Functional Verification of Cryptographic Protocol Implementations in Rust

Karthikeyan Bhargavan, Lasse Letager Hansen, Franziskus Kiefer, Jonas Schneider-Bensch, Bas Spitters
ACM Conference on Computer and Communications Security (CCS), 2025
PDF DOI
2024

hax: Verifying Security-Critical Rust Software Using Multiple Provers

Karthikeyan Bhargavan, Maxime Buyse, Lucas Franceschino, Lasse Letager Hansen, Franziskus Kiefer, Jonas Schneider-Bensch, Bas Spitters
Verified Software: Theories, Tools, and Experiments (VSTTE), 2024
PDF DOI
2024

Formal verification of the PQXDH Post-Quantum key agreement protocol for end-to-end secure messaging

Karthikeyan Bhargavan, Charlie Jacomme, Franziskus Kiefer, Rolfe Schmidt
USENIX Security Symposium, 2024
PDF DOI