Lasse Letager Hansen

According to our database, Lasse Letager Hansen authored at least 3 papers between 2024 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Formal Security and Functional Verification of Cryptographic Protocol Implementations in Rust.

Karthikeyan Bhargavan, Lasse Letager Hansen, Franziskus Kiefer, Jonas Schneider-Bensch, Bas Spitters

Proceedings of the 2025 ACM SIGSAC Conference on Computer and Communications Security, 2025

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

Proceedings of the Verified Software. Theories, Tools and Experiments, 2024

The Last Yard: Foundational End-to-End Verification of High-Speed Cryptography.

Philipp G. Haselwarter, Benjamin Salling Hvass, Lasse Letager Hansen, Théo Winterhalter, Catalin Hritcu, Bas Spitters

Proceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2024