Lasse Letager Hansen

According to our database, Lasse Letager Hansen authored at least 3 papers between 2023 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

IACR Cryptol. ePrint Arch., 2025

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

IACR Cryptol. ePrint Arch., 2025

2023

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

IACR Cryptol. ePrint Arch., 2023