GdT programmation / séminaire IRILLRSS

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


11/14/2012
Speaker(s) : Nicolas Pouillard (IT University of Copenhagen, DemTech project)
More details here
Emmanuel.Chailloux (at) nulllip6.fr
 Mentions légales
Site map |