Slide 1 Automatic Proof of Strong Secrecy for Security Protocols By Bruno Blanchet Originally presented at: IEEE Symposium on Security and Privacy Oakland, California, May…