Selected publications by Joe-Kai Tsay

2009

1
Endre Bangerter, Stephan Krenn, Ahmad-Reza Sadeghi, Thomas Schneider and Joe-Kai TsayOn the Design and Implementation of Efficient Zero-Knowledge Proofs of KnowledgeIn SPEED-CC'09. 2009. ( PDF | BibTeX + Abstract )
2
Bruno Blanchet, Aaron D. Jaggard, Jesse Rao, Andre Scedrov and Joe-Kai TsayRefining Computationally Sound Mechanized Proofs for KerberosIn Ralf Küsters (ed.), FCC'09. 2009. ( PDF | BibTeX )
3
Endre Bangerter, Stefania Barzan, Stephan Krenn, Ahmad-Reza Sadeghi, Thomas Schneider and Joe-Kai TsayBringing Zero-Knowledge Proofs of Knowledge to PracticeIn James A. Malcolm (ed.), SPW'09. 2009. ( PDF | BibTeX + Abstract )

2008

4
Joe-Kai TsayFormal 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 TsayComputationally Sound Mechanized Proofs for Basic and Public-key KerberosIn 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 WalstadBreaking and Fixing Public-Key KerberosInformation 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 WalstadBreaking and Fixing Public-key KerberosIn 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 TsayComputationally Sound Mechanized Proof of PKINIT for KerberosIn 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 TsayCryptographically Sound Security Proofs for Basic and Public-key KerberosIn 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 WalstadBreaking and Fixing Public-key KerberosIn Dieter Gollmann and Jan Jürjens (eds.), WITS'06. 2006. ( BibTeX )

About LSV

Search this list

Search the LSV database


highlight select