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

1 résultat

	Pour les 1 documents Envoyer sur ORCID RSS ATOM Exporter BibTeX XML-TEI CSV RTF EndNote PDF HTML Export avancé	Page :	triés par Pertinence Auteur A→Z Auteur Z→A Titre A→Z Titre Z→A Date de publication croissante Date de publication décroissante Date de dépôt croissante Date de dépôt décroissante

		Certified Synthesis of Efficient Batch Verifiers Joseph A. Akinyele , Gilles Barthe , Benjamin Grégoire , Benedikt Schmidt , Pierre-Yves Strub CSF 2014 - IEEE 27th Computer Security Foundations Symposium, Jul 2014, Vienna, Austria. pp.153 - 165, ⟨10.1109/CSF.2014.19⟩ Communication dans un congrès hal-01094565v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More

Filtrer vos résultats