The following publications are possibly variants of this publication:
- Cryptographically Sound Security Proofs for Basic and Public-Key KerberosMichael Backes, Iliano Cervesato, Aaron D. Jaggard, Andre Scedrov, Joe-Kai Tsay. esorics 2006: 362-383 [doi]
- Cryptographically sound security proofs for basic and public-key KerberosMichael Backes, Iliano Cervesato, Aaron D. Jaggard, Andre Scedrov, Joe-Kai Tsay. ijisec, 10(2):107-134, 2011. [doi]
- Cryptographically Sound Security Proofs for Basic and Public-Key KerberosMichael Backes, Iliano Cervesato, Aaron D. Jaggard, Andre Scedrov, Joe-Kai Tsay. iacr, 2006:219, 2006. [doi]
- Computationally Sound Mechanized Proofs of Correspondence AssertionsBruno Blanchet. csfw 2007: 97-111 [doi]
- Computationally Sound Mechanized Proofs of Correspondence AssertionsBruno Blanchet. iacr, 2007:128, 2007. [doi]