Search - INRIA - Institut National de Recherche en Informatique et en Automatique

		Relevance Author A→Z Author Z→A Title A→Z Title Z→A Date de publication croissante Date de publication décroissante Date de dépôt croissante Date de dépôt décroissante 30 results per page 50 results per page 100 results per page Merci d'indiquer la raison de votre demande o Export XML-TEI BibTeX EndNote CSV PDF RTF Advanced export... Syndicated feeds RSS ATOM
	medihal-01345992v1 Videos Sonia Belaïd, Sylvain Ruhault, Michel Abdalla, David Pointcheval, Damien Vergnaud et al. Sonia Belaïd - Schémas symétriques prouvés sûrs contre les attaques par canaux auxiliaires 2014
	hal-00715726v1 Preprints, Working Papers, ... Amrit Kumar, Pierre-Alain Fouque, Thomas Genet, Mehdi Tibouchi. Proofs as Cryptography: a new interpretation of the Curry-Howard isomorphism for software certificates 2012
	hal-02427655v1 Preprints, Working Papers, ... Claire Delaplace, Pierre-Alain Fouque, Paul Kirchner, Alexander May. Solving ECDLP over F p with Pre-computation via Representation Technique 2020
		Relevance Author A→Z Author Z→A Title A→Z Title Z→A Date de publication croissante Date de publication décroissante Date de dépôt croissante Date de dépôt décroissante 30 results per page 50 results per page 100 results per page o Export XML-TEI BibTeX EndNote CSV PDF RTF Advanced export... Syndicated feeds RSS ATOM

Document types Minimize