The Applied Pi Calculus: Mobile Values, New Names, and Secure Communication.

Martín Abadi Bruno Blanchet Cédric Fournet

Published in: J. ACM (2018)

Keyphrases

secure communication
low cost