Skip To Main Content
Lasse Letager Hansen on Muck Rack

Lasse Letager Hansen

As seen in: Ugeavisen
Is this you? As a journalist, you can create a free Muck Rack account to customize your profile, list your contact preferences, and upload a portfolio of your best work. Claim your profile

Get in touch with Lasse Letager

Contact Lasse Letager, search articles and posts on X, monitor coverage, and track replies from one place.

Learn more about Muck Rack

Actions

Share this page

Is this you?

As a journalist, you can create a free Muck Rack account to customize your profile, list your contact preferences, and upload a portfolio of your best work.
Claim your profile

Articles

Mand blev stukket i skulderen: Her er seneste opdatering fra politiet

|
By Lasse Letager Hansen
| Ugeavisen
Ugeavisen Odense Mand blev stukket i skulderen: Her er seneste opdatering fra politiet Fyns Politi hører meget gerne fra vidner til episoden, der fandt sted på Vestergade, natten til mandag. Knivstikkeriet fandt sted på Vestergade natten til mandag. Arkivfoto: Lasse Hansen Del Del Print Kopiér link 22 apr. 2025 kl. 11:30 Anna Thrane annis@fyens.dk Del med andre: Del Del Print Kopiér link
Open in Who Shared Issue with article?

hax: Verifying Security-Critical Rust Software using Multiple Provers

|
By Karthikeyan Bhargavan, Lucas Franceschino, Lasse Letager Hansen, Maxime Buyse
| eprint.iacr.org
Paper 2025/142 , Cryspen , Cryspen , Cryspen , Aarhus University , Cryspen , Cryspen , Aarhus University We present hax, a verification toolchain for Rust targeted at security-critical software such as cryptographic libraries, protocol imple- mentations, authentication and authorization mechanisms, and parsing and sanitization code. The key idea behind hax is the pragmatic observation that different verification tools are better at handling different kinds of verification goals.
Open in Who Shared Issue with article?

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

|
By Philipp G. Haselwarter, Théo Winterhalter, Benjamin Salling Hvass, Lasse Letager Hansen
| eprint.iacr.org
Paper 2023/185 The Last Yard: Foundational End-to-End Verification of High-Speed Cryptography , Aarhus University , Aarhus University , Aarhus University , Inria Saclay - Île-de-France Research Centre , Max Planck Institute for Security and Privacy , Aarhus University Abstract The field of high-assurance cryptography is quickly maturing, yet a unified foundational framework for end-to-end formal verification of efficient cryptographic implementations is still missing.
Open in Who Shared Issue with article?
See all 3 articles