Lasse Letager Hansen's PhD defence of "High Assurance Cryptographic Software using Rust and Rocq"
Info about event
Time
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