Proving cryptographic schemes in Agda Dependently typed functional programming for Alice and Bob

14/11/2012
Conferenciante(s) : Nicolas Pouillard (IT University of Copenhagen, DemTech project)