Selected publications by Joe-Kai Tsay
2009
- 1
-
Endre Bangerter, Stephan Krenn, Ahmad-Reza Sadeghi, Thomas Schneider and Joe-Kai Tsay. On the Design and Implementation of Efficient Zero-Knowledge Proofs of
Knowledge. In SPEED-CC'09. 2009. ( PDF | BibTeX + Abstract )
- 2
-
Bruno Blanchet, Aaron D. Jaggard, Jesse Rao, Andre Scedrov and Joe-Kai Tsay. Refining Computationally Sound Mechanized Proofs for Kerberos. In Ralf Küsters (ed.), FCC'09. 2009. ( PDF | BibTeX )
- 3
-
Endre Bangerter, Stefania Barzan, Stephan Krenn, Ahmad-Reza Sadeghi, Thomas Schneider and Joe-Kai Tsay. Bringing Zero-Knowledge Proofs of Knowledge to Practice. In James A. Malcolm (ed.), SPW'09. 2009. ( PDF | BibTeX + Abstract )
2008
- 4
-
Joe-Kai Tsay. Formal Analysis of the Kerberos Authentication Protocol. Ph.D. Thesis, University of Pennsylvania, PA, USA, August 2008. ( PDF | BibTeX )
- 5
-
Bruno Blanchet, Aaron D. Jaggard, Andre Scedrov and Joe-Kai Tsay. Computationally Sound Mechanized Proofs for Basic and Public-key
Kerberos. In Masayuki Abe and Virgil Gligor (eds.), ASIACCS'08, pages 87-99. ACM Press, 2008. ( PDF | BibTeX + Abstract )
- 6
-
Iliano Cervesato, Aaron D. Jaggard, Andre Scedrov, Joe-Kai Tsay and Chris Walstad. Breaking and Fixing Public-Key Kerberos. Information and Computation 206(2-4), pages 402-424, 2008. ( PDF | BibTeX + Abstract )
- 7
-
Iliano Cervesato, Aaron D. Jaggard, Andre Scedrov, Joe-Kai Tsay and Christopher Walstad. Breaking and Fixing Public-key Kerberos. In Mitsu Okada and Ichiro Satoh (eds.), ASIAN'06, LNCS 4435, pages 167-181. Springer, 2008. ( PDF | BibTeX + Abstract )
2007
- 8
-
Aaron D. Jaggard, Andre Scedrov and Joe-Kai Tsay. Computationally Sound Mechanized Proof of PKINIT for Kerberos. In Michael Backes and Yassine Lakhnech (eds.), FCC'07. 2007. ( PDF | BibTeX )
2006
- 9
-
Michael Backes, Iliano Cervesato, Aaron D. Jaggard, Andre Scedrov and Joe-Kai Tsay. Cryptographically Sound Security Proofs for Basic and Public-key
Kerberos. In Dieter Gollmann, Jan Meier and Andrei Sabelfeld (eds.), ESORICS'06, LNCS 4189, pages 362-383. Springer, 2006. ( PDF | BibTeX + Abstract )
- 10
-
Iliano Cervesato, Aaron D. Jaggard, Andre Scedrov, Joe-Kai Tsay and Christopher Walstad. Breaking and Fixing Public-key Kerberos. In Dieter Gollmann and Jan Jürjens (eds.), WITS'06. 2006. ( BibTeX )