Documents
Automated Security Proofs with Sequences of Games
Bruno Blanchet And David Pointcheval Cnrs, Département D'Informatique, Ecole Normale Supérieure
Documents
Université François Rabelais Institut Universitaire de Technologie de TOURS Département Génie Électrique et Informatique Industrielle
Mathieu Moisan
Collection
{{collectionTitle}}
Collection
{{collectionTitle}}
Collection
{{collectionTitle}}
{{productCategoryLabel}}
{{productTitle}}
{{productAuthors}}
{{productCategoryLabel}}
{{productThemeLabel}}
{{productTitle}}
{{productAuthors}}
{{productPages}}
{{productLanguageIsoCode}}