27 Aug
Tuesday
27
August
2019,
at
12:00
Nygaard-295 (building 5335, room 295), Åbogade 34, 8200 Aarhus N
Title: Formalizing Constructive Cryptography using CryptHOL
Abstract: Computer-aided cryptography increases the rigour of cryptographic proofs by…