Bruno Blanchet

	2009
35		Martín Abadi, Bruno Blanchet, Hubert Comon-Lundh: Models and Proofs of Protocol Security: A Progress Report. CAV 2009: 35-49
34		Bruno Blanchet: Automatic verification of correspondences for security protocols. Journal of Computer Security 17(4): 363-434 (2009)
	2008
33		Bruno Blanchet, Aaron D. Jaggard, Andre Scedrov, Joe-Kai Tsay: Computationally sound mechanized proofs for basic and public-key Kerberos. ASIACCS 2008: 87-99
32		Bruno Blanchet, Avik Chaudhuri: Automated Formal Analysis of a Protocol for Secure File Sharing on Untrusted Storage. IEEE Symposium on Security and Privacy 2008: 417-431
31		Bruno Blanchet: Automatic Verification of Correspondences for Security Protocols CoRR abs/0802.3444: (2008)
30		Bruno Blanchet: A Computationally Sound Mechanized Prover for Security Protocols. IEEE Trans. Dependable Sec. Comput. 5(4): 193-207 (2008)
29		Bruno Blanchet, Martín Abadi, Cédric Fournet: Automated verification of selected equivalences for security protocols. J. Log. Algebr. Program. 75(1): 3-51 (2008)
	2007
28		Bruno Blanchet: Computationally Sound Mechanized Proofs of Correspondence Assertions. CSF 2007: 97-111
27		Martín Abadi, Bruno Blanchet, Cédric Fournet: Just fast keying in the pi calculus. ACM Trans. Inf. Syst. Secur. 10(3): (2007)
26		Bruno Blanchet, Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné, David Monniaux, Xavier Rival: A Static Analyzer for Large Safety-Critical Software CoRR abs/cs/0701193: (2007)
	2006
25		Bruno Blanchet, David Pointcheval: Automated Security Proofs with Sequences of Games. CRYPTO 2006: 537-554
24		Bruno Blanchet: A Computationally Sound Mechanized Prover for Security Protocols. IEEE Symposium on Security and Privacy 2006: 140-154
	2005
23		Xavier Allamigeon, Bruno Blanchet: Reconstruction of Attacks against Cryptographic Protocols. CSFW 2005: 140-154
22		Bruno Blanchet, Martín Abadi, Cédric Fournet: Automated Verification of Selected Equivalences for Security Protocols. LICS 2005: 331-340
21		Bruno Blanchet: Security protocols: from linear to classical logic by abstract interpretation. Inf. Process. Lett. 95(5): 473-479 (2005)
20		Martín Abadi, Bruno Blanchet: Analyzing security protocols with secrecy types and logic programs. J. ACM 52(1): 102-146 (2005)
19		Martín Abadi, Bruno Blanchet: Computer-assisted verification of a protocol for certified email. Sci. Comput. Program. 58(1-2): 3-27 (2005)
18		Bruno Blanchet, Andreas Podelski: Verification of cryptographic protocols: tagging enforces termination. Theor. Comput. Sci. 333(1-2): 67-90 (2005)
	2004
17		Martín Abadi, Bruno Blanchet, Cédric Fournet: Just Fast Keying in the Pi Calculus. ESOP 2004: 340-354
16		Bruno Blanchet: Automatic Proof of Strong Secrecy for Security Protocols. IEEE Symposium on Security and Privacy 2004: 86-
	2003
15		Bruno Blanchet, Benjamin Aziz: A Calculus for Secure Mobility. ASIAN 2003: 188-204
14		Bruno Blanchet, Andreas Podelski: Verification of Cryptographic Protocols: Tagging Enforces Termination. FoSSaCS 2003: 136-152
13		Bruno Blanchet, Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné, David Monniaux, Xavier Rival: A static analyzer for large safety-critical software. PLDI 2003: 196-207
12		Bruno Blanchet: Automatic verification of cryptographic protocols: a logic programming approach. PPDP 2003: 1-3
11		Martín Abadi, Bruno Blanchet: Computer-Assisted Verification of a Protocol for Certified Email. SAS 2003: 316-335
10		Bruno Blanchet: Escape analysis for JavaTM: Theory and practice. ACM Trans. Program. Lang. Syst. 25(6): 713-775 (2003)
9		Martín Abadi, Bruno Blanchet: Secrecy types for asymmetric communication. Theor. Comput. Sci. 3(298): 387-415 (2003)
	2002
8		Martín Abadi, Bruno Blanchet: Analyzing security protocols with secrecy types and logic programs. POPL 2002: 33-44
7		Bruno Blanchet: From Secrecy to Authenticity in Security Protocols. SAS 2002: 342-359
6		Bruno Blanchet, Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné, David Monniaux, Xavier Rival: Design and Implementation of a Special-Purpose Static Program Analyzer for Safety-Critical Real-Time Embedded Software. The Essence of Computation 2002: 85-108
	2001
5		Bruno Blanchet: An Efficient Cryptographic Protocol Verifier Based on Prolog Rules. CSFW 2001: 82-96
4		Martín Abadi, Bruno Blanchet: Secrecy Types for Asymmetric Communication. FoSSaCS 2001: 25-41
3		Bruno Blanchet: Abstracting Cryptographic Protocols by Prolog Rules. SAS 2001: 433-436
	1999
2		Bruno Blanchet: Escape Analysis for Object-Oriented Languages: Application to Java. OOPSLA 1999: 20-34
	1998
1		Bruno Blanchet: Escape Analysis: Correctness Proof, Implementation and Experimental Results. POPL 1998: 25-37

Coauthor Index

1	Martín Abadi	[4] [8] [9] [11] [17] [19] [20] [22] [27] [29] [35]
2	Xavier Allamigeon	[23]
3	Benjamin Aziz	[15]
4	Avik Chaudhuri	[32]
5	Hubert Comon-Lundh (Hubert Comon)	[35]
6	Patrick Cousot	[6] [13] [26]
7	Radhia Cousot	[6] [13] [26]
8	Jérôme Feret	[6] [13] [26]
9	Cédric Fournet	[17] [22] [27] [29]
10	Aaron D. Jaggard	[33]
11	Laurent Mauborgne	[6] [13] [26]
12	Antoine Miné	[6] [13] [26]
13	David Monniaux	[6] [13] [26]
14	Andreas Podelski	[14] [18]
15	David Pointcheval	[25]
16	Xavier Rival	[6] [13] [26]
17	Andre Scedrov	[33]
18	Joe-Kai Tsay	[33]

Colors in the list of coauthors