Bruno Blanchet

Identifiers

• name variant Bruno Blanchet 0.60 · backfill

Papers (2)

1. The Applied Pi Calculus: Mobile Values, New Names, and Secure Communication cs.CR · 2016 · author #2
2. Automatic Verification of Correspondences for Security Protocols cs.CR · 2008 · author #1

Mentions

• 0802.3444 #1 · backfill · confidence 0.70 Bruno Blanchet

Frequent Coauthors

• C\'edric Fournet 1 shared papers
• Mart\'in Abadi 1 shared papers