Aarhus University Seal

Lasse Letager Hansen's PhD defence of "High Assurance Cryptographic Software using Rust and Rocq"

Info about event

Time

Monday 17 November 2025, at 15:00 - at

Location

5335-295 Nygaard

Price

Free DKK

On Monday November 17, 2025, Lasse Letager Hansen will defend the PhD thesis High Assurance Cryptographic Software using Rust and Rocq