Benjamin Salling Hvass's PhD defence of "Foundational Verification of Cryptographic Primitives"
![](/fileadmin/_processed_/f/0/csm_Benjamin_Salling_0327386dd2.jpg)
Info about event
Time
Location
Building 5510, room 104, Incuba Lille Auditorium, Åbogade 15, 8200 Aarhus N
Price
Free DKK
On Wednesday, April 12 2023, Benjamin Salling Hvass will defend his PhD thesis: Foundational Verification of Cryptographic Primitives