A Semi-Decidable Procedure for Secrecy in Cryptographic Protocols

12 August 2014

Papers citing "A Semi-Decidable Procedure for Secrecy in Cryptographic Protocols"

2 / 2 papers shown

Title
Secrecy by Witness-Functions on Increasing Protocols Jaouhar Fattahi M. Mejri H. Houmani 10 4 0 11 Jan 2018
Automatic Verification of Correspondences for Security Protocols B. Blanchet 89 241 0 23 Feb 2008