Automatic Proof of Strong Secrecy for Security ProtocolsBy Bruno Blanchet Originally presented at:IEEE Symposium on Security and PrivacyOakland California May 2004Presented by David FinkSecrecy vs.