Rosenpass

https://rosenpass.eu

Hybrid post-quantum security for WireGuard™ without modifying in-kernel WireGuard™.

X-Wing

https://eprint.iacr.org/2024/039

Provably secure, efficient KEM combiner from x25519 and ML-KEM.

Decryption Despite Errors (unfinished)

https://github.com/koraa/decryption-despite-errors

Developing notions of security and appropriate ciphers for settings where discarding ciphertexts with errors beyond perfect recovery is not permissible (e.g. emergency radio, space probes, airplane radio, video conferences).

• Translation research in cryptography science
• Robust Combiners for Post-Quantum Security
• Improving the usability of tools for mechanized verification
• Mechanized verification of protocols
• Cryptography in the Rust programming language
• Cryptography and politics
• Cryptography and social justice
• Ethics of cryptography
• Science communication for cryptography