11 Feb
Tuesday
11
February
2020,
at
12:00
Nygaard-295 (building 5335, room 295), Department of Computer Science, Åbogade 34, 8200 Aarhus N
Title: IPDL: A Probabilistic Dataflow Logic for Cryptography
Abstract:
While there have been many successes in verifying cryptographic security…