INRIA - Institut National de Recherche en Informatique et en Automatique

	1 2	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
	hal-01102136v1 Book sections Bruno Blanchet. Automatic Verification of Security Protocols in the Symbolic Model: The Verifier ProVerif Alessandro Aldini; Javier Lopez; Fabio Martinelli. Foundations of Security Analysis and Design VII, 8604, Springer, pp.54-87, 2014, Lecture Notes in Computer Science, 978-3-319-10081-4. ⟨10.1007/978-3-319-10082-1_3⟩
	hal-01575920v2 Conference papers Karthikeyan Bhargavan, Bruno Blanchet, Nadim Kobeissi. Verified Models and Reference Implementations for the TLS 1.3 Standard Candidate 38th IEEE Symposium on Security and Privacy, May 2017, San Jose, United States. pp.483 - 502, ⟨10.1109/SP.2017.26⟩
	hal-01306440v1 Reports Bruno Blanchet, Ben Smyth. Automated reasoning for equivalences in the applied pi calculus with barriers [Research Report] RR-8906, Inria Paris. 2016, pp.54
	hal-01423742v1 Conference papers Bruno Blanchet, Ben Smyth. Automated Reasoning for Equivalences in the Applied Pi Calculus with Barriers 29th IEEE Computer Security Foundations Symposium (CSF'16), Jun 2016, Lisboa, Portugal. pp.310 - 324, ⟨10.1109/CSF.2016.29⟩
	hal-01423760v1 Journal articles Bruno Blanchet. Modeling and Verifying Security Protocols with the Applied Pi Calculus and ProVerif Foundations and Trends® in Privacy and Security , Now publishers inc, 2016, 1 (1-2), pp.1 - 135. ⟨10.1561/3300000004⟩
	hal-01423924v1 Reports Martín Abadi, Bruno Blanchet, Cédric Fournet. The Applied Pi Calculus: Mobile Values, New Names, and Secure Communication [Research Report] ArXiv. 2016, pp.110
	hal-02396640v1 Conference papers Benjamin Lipp, Bruno Blanchet, Karthikeyan Bhargavan. A Mechanised Cryptographic Proof of the WireGuard Virtual Private Network Protocol 4th IEEE European Symposium on Security and Privacy, Jun 2019, Stockholm, Sweden. pp.231-246
	hal-01528752v3 Reports Karthikeyan Bhargavan, Bruno Blanchet, Nadim Kobeissi. Verified Models and Reference Implementations for the TLS 1.3 Standard Candidate [Research Report] RR-9040, Inria Paris. 2017, pp.51
	hal-01764527v1 Reports Bruno Blanchet. Composition Theorems for CryptoVerif and Application to TLS 1.3 [Research Report] RR-9171, Inria Paris. 2018, pp.67
	hal-00939187v1 Journal articles Miriam Paiola, Bruno Blanchet. Verification of Security Protocols with Lists: from Length One to Unbounded Length Journal of Computer Security, IOS Press, 2013, 21 (6), pp.781--816
	hal-01102382v1 Journal articles David Cadé, Bruno Blanchet. Proved Generation of Implementations from Computationally Secure Protocol Specifications Journal of Computer Security, IOS Press, 2015, 23 (3), pp.331-402
	hal-01527671v1 Reports Bruno Blanchet. Symbolic and Computational Mechanized Verification of the ARINC823 Avionic Protocols [Research Report] RR-9072, Inria Paris. 2017, pp.40
	hal-01867778v1 Software Xavier Leroy, Damien Doligez, Jérôme Vouillon, Alain Deutsch, Bruno Blanchet. OCamlStack 1.05.1 2001, ⟨swh:1:dir:53c27f53e2115f847f855b9a400169d218363185⟩
	hal-01110430v1 Book sections Bruno Blanchet. Mechanizing Game-Based Proofs of Security Protocols Tobias Nipkow; Orna Grumberg; Benedikt Hauptmann. Software Safety and Security, 33, IOS Press, pp.1-25, 2012, NATO Science for Peace and Security Series - D: Information and Communication Security, 978-1-61499-027-7. ⟨10.3233/978-1-61499-028-4-1⟩
	hal-01110443v1 Conference papers Bruno Blanchet. A second look at {S}houp's lemma FCC 2011 - Seventh Workshop on Formal and Computational Cryptography, Jun 2011, Paris, France
	hal-01110425v1 Book sections Bruno Blanchet. Using Horn Clauses for Analyzing Security Protocols Véronique Cortier; Steve Kremer. Formal Models and Techniques for Analyzing Security Protocols, 5, IOS Press, pp.86 - 111, 2011, Cryptology and Information Security Series, 978-1-60750-713-0. ⟨10.3233/978-1-60750-714-7-86⟩
	hal-01575923v1 Conference papers Nadim Kobeissi, Karthikeyan Bhargavan, Bruno Blanchet. Automated Verification for Secure Messaging Protocols and Their Implementations: A Symbolic and Computational Approach 2nd IEEE European Symposium on Security and Privacy , Apr 2017, Paris, France. pp.435 - 450, ⟨10.1109/EuroSP.2017.38⟩
	hal-01575861v1 Conference papers Bruno Blanchet. Symbolic and Computational Mechanized Verification of the ARINC823 Avionic Protocols 30th IEEE Computer Security Foundations Symposium, Aug 2017, Santa Barbara, United States. pp.68-82, ⟨10.1109/CSF.2017.7⟩
	hal-01636616v1 Journal articles Martín Abadi, Bruno Blanchet, Cédric Fournet. The Applied Pi Calculus: Mobile Values, New Names, and Secure Communication Journal of the ACM (JACM), Association for Computing Machinery, 2017, 65 (1), pp.1 - 103. ⟨10.1145/3127586⟩
	hal-00863376v1 Conference papers David Cadé, Bruno Blanchet. Proved Generation of Implementations from Computationally-Secure Protocol Specifications 2nd Conference on Principles of Security and Trust (POST 2013), 2013, Rome, Italy. pp.63--82
	hal-00863377v1 Conference papers Vincent Cheval, Bruno Blanchet. Proving More Observational Equivalences with ProVerif POST 2013 - 2nd Conference on Principles of Security and Trust, Mar 2013, Rome, Italy. pp.226-246, ⟨10.1007/978-3-642-36830-1_12⟩
	hal-00863382v1 Conference papers David Cadé, Bruno Blanchet. From Computationally-proved Protocol Specifications to Implementations 7th International Conference on Availability, Reliability and Security (AReS 2012), 2012, Prague, Czech Republic. pp.65--74
	hal-00863389v1 Book sections Bruno Blanchet. Mechanizing Game-Based Proofs of Security Protocols Tobias Nipkow and Olga Grumberg and Benedikt Hauptmann. Software Safety and Security - Tools for Analysis and Verification, 33, IOS Press, pp.1--25, 2012, NATO Science for Peace and Security Series ― D: Information and Communication Security
	hal-00863388v1 Conference papers Bruno Blanchet. Security Protocol Verification: Symbolic and Computational Models First Conference on Principles of Security and Trust (POST'12), 2012, Tallinn, Estonia. pp.3--29
	hal-00863386v1 Conference papers Bruno Blanchet. Automatically Verified Mechanized Proof of One-Encryption Key Exchange 25th IEEE Computer Security Foundations Symposium (CSF'12), 2012, Cambridge, United States. pp.325--339
	hal-00863387v1 Conference papers Miriam Paiola, Bruno Blanchet. Verification of Security Protocols with Lists: from Length One to Unbounded Length First Conference on Principles of Security and Trust (POST'12), 2012, Tallinn, Estonia. pp.69--88
	hal-00863374v1 Journal articles David Cadé, Bruno Blanchet. From Computationally-Proved Protocol Specifications to Implementations and Application to SSH Journal of Wireless Mobile Networks, Ubiquitous Computing, and Dependable Applications, Innovative Information Science & Technology Research Group (ISYOU), 2013, 4 (1), pp.4--31
	hal-00918849v1 Conference papers Bruno Blanchet, Miriam Paiola. Automatic Verification of Protocols with Lists of Unbounded Length CCS'13 - ACM Conference on Computer and Communications Security, ACM SIGSAC, Nov 2013, Berlin, Germany. pp.573--584, ⟨10.1145/2508859.2516679⟩
	hal-01947972v1 Journal articles Bruno Blanchet, Ben Smyth. Automated reasoning for equivalences in the applied pi calculus with barriers Journal of Computer Security, IOS Press, 2018, 26 (3), pp.367 - 422. ⟨10.3233/JCS-171013⟩
	hal-01863457v1 Software Bruno Blanchet, Xavier Leroy, Damien Doligez, François Rouaix, Jérôme Vouillon et al. CamlDim 1998, ⟨swh:1:dir:f82b87d50c6b60741d85de0a83ec0982112bdee0⟩
	1 2	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

Author

Subject field

Laboratory

Language

Type of deposit

Year

Contact

Informations