Lasse Letager Hansen's PhD defence of "High Assurance Cryptographic Software using Rust and Rocq"
Oplysninger om arrangementet
Tidspunkt
Sted
5335-295 Nygaard
Pris
Free DKK
On Monday November 17, 2025, Lasse Letager Hansen will defend the PhD thesis High Assurance Cryptographic Software using Rust and Rocq