Blanchet, Bruno

1. The Applied Pi Calculus: Mobile Values, New Names, and Secure Communication
   2016/09/10 by Martı́n Abadi, Bruno Blanchet, Abadi, Martín +3 · 1 citation
   Computer Science · #Advanced Authentication Protocols Security #Cryptography and Data Security #Cryptography and Security (cs.CR) #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #User Authentication and Security Systems