Cryptographically Sound Security Proofs for Basic and Public-Key Kerberos. - Michael Backes 001; Iliano Cervesato; Aaron D. Jaggard; Andre Scedrov; Joe-Kai Tsay (IACR Cryptol. ePrint Arch., 2006)

Breaking and Fixing Public-Key Kerberos. - Iliano Cervesato; Aaron D. Jaggard; Andre Scedrov; Joe-Kai Tsay; Christopher Walstad (IACR Cryptol. ePrint Arch., 2006)

Computationally sound mechanized proofs for basic and public-key Kerberos. - Bruno Blanchet; Aaron D. Jaggard; Andre Scedrov; Joe-Kai Tsay (AsiaCCS, 2008)

Bringing Zero-Knowledge Proofs of Knowledge to Practice. - Endre Bangerter; Stefania Barzan; Stephan Krenn; Ahmad-Reza Sadeghi; Thomas Schneider 003; Joe-Kai Tsay (IACR Cryptol. ePrint Arch., 2009)

PEVS: A Secure Electronic Voting Scheme Using Polling Booths. - Md. Abdul Based; Joe-Kai Tsay; Stig Fr. Mjølsnes (ICDKE, 2012)

A Vulnerability in the UMTS and LTE Authentication and Key Agreement Protocols. - Joe-Kai Tsay; Stig Fr. Mjølsnes (MMM-ACNS, 2012)

Computational Security Analysis of the UMTS and LTE Authentication and Key Agreement Protocols - Stig Fr. Mjølsnes; Joe-Kai Tsay (CoRR, 2012)

Efficient Padding Oracle Attacks on Cryptographic Hardware. - Romain Bardou; Riccardo Focardi; Yusuke Kawamoto 001; Lorenzo Simionato; Graham Steel; Joe-Kai Tsay (IACR Cryptol. ePrint Arch., 2012)