Sign in

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

Martín AbadiBruno BlanchetCédric Fournet
Published in: J. ACM (2018)
Keyphrases
  • secure communication
  • low cost