International Association for Cryptologic Research
Bruno Blanchet Search web for home page
Publications
| year | title | booktitle | pages | |
|---|---|---|---|---|
| 1 | 2007 | Computationally Sound Mechanized Proofs of Correspondence Assertions | eprint | online |
| 2 | 2006 | Automated Security Proofs with Sequences of Games | eprint | online |
| 3 | 2006 | Automated Security Proofs with Sequences of Games | crypto | online |
| 4 | 2005 | A Computationally Sound Mechanized Prover for Security Protocols | eprint | online |
Coauthors of Bruno Blanchet |