Person: Bruno Blanchet

DBLP: Blanchet:Bruno

Contributed to:

2009

2005

2004

2003

2003

2003

2003

2002

2002

2001

2001

1999

1998

Wrote 13 papers:

CAV-2009-AbadiBC #modelling #protocol #proving #security

Models and Proofs of Protocol Security: A Progress Report (MA, BB, HCL), pp. 35–49.

LICS-2005-BlanchetAF #automation #protocol #security #verification

Automated Verification of Selected Equivalences for Security Protocols (BB, MA, CF), pp. 331–340.

ESOP-2004-AbadiBF #performance #π-calculus

Just Fast Keying in the π Calculus (MA, BB, CF), pp. 340–354.

FoSSaCS-2003-BlanchetP #encryption #protocol #termination #verification

Verification of Cryptographic Protocols: Tagging Enforces Termination (BB, AP), pp. 136–152.

PLDI-2003-BlanchetCCFMMMR #safety #scalability

A static analyzer for large safety-critical software (BB, PC, RC, JF, LM, AM, DM, XR), pp. 196–207.

PPDP-2003-Blanchet #approach #automation #encryption #logic programming #protocol #verification

Automatic verification of cryptographic protocols: a logic programming approach (BB), pp. 1–3.

SAS-2003-AbadiB #email #protocol #verification

Computer-Assisted Verification of a Protocol for Certified Email (MA, BB), pp. 316–335.

POPL-2002-AbadiB #logic programming #protocol #security #source code

Analyzing security protocols with secrecy types and logic programs (MA, BB), pp. 33–44.

SAS-2002-Blanchet #authentication #protocol #security

From Secrecy to Authenticity in Security Protocols (BB), pp. 342–359.

FoSSaCS-2001-AbadiB #communication #symmetry

Secrecy Types for Asymmetric Communication (MA, BB), pp. 25–41.

SAS-2001-Blanchet #encryption #prolog #protocol

Abstracting Cryptographic Protocols by Prolog Rules (BB), pp. 433–436.

OOPSLA-1999-Blanchet #analysis #java #object-oriented

Escape Analysis for Object-Oriented Languages: Application to Java (BB), pp. 20–34.

POPL-1998-Blanchet #analysis #correctness #implementation #proving

Escape Analysis: Correctness Proof, Implementation and Experimental Results (BB), pp. 25–37.