LIP6 CNRS Sorbonne Université Tremplin Carnot Interfaces
Direct Link LIP6 » Liens » LIP6 organise

GdT programmation / séminaire IRILLRSS

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


14/11/2012
Intervenant(s) : Nicolas Pouillard (IT University of Copenhagen, DemTech project)
Plus d'informations ici
Emmanuel.Chailloux (at) nulllip6.fr
 Mentions légales
Carte du site |