Joe-Kai Tsay

Publication Activity (10 Years)

Years Active: 2006-2012
Publications (10 Years): 0

Top Topics

Secure Electronic

Resource Constrained

Security Analysis

Top Venues

IACR Cryptol. ePrint Arch.

Publications

Romain Bardou, Riccardo Focardi, Yusuke Kawamoto, Lorenzo Simionato, Graham Steel, Joe-Kai Tsay
Efficient Padding Oracle Attacks on Cryptographic Hardware. IACR Cryptol. ePrint Arch. 2012 (2012)
Md. Abdul Based, Joe-Kai Tsay, Stig Fr. Mjølsnes
PEVS: A Secure Electronic Voting Scheme Using Polling Booths. ICDKE (2012)
Stig Fr. Mjølsnes, Joe-Kai Tsay
Computational Security Analysis of the UMTS and LTE Authentication and Key Agreement Protocols CoRR (2012)
Romain Bardou, Riccardo Focardi, Yusuke Kawamoto, Lorenzo Simionato, Graham Steel, Joe-Kai Tsay
Efficient Padding Oracle Attacks on Cryptographic Hardware. CRYPTO (2012)
Joe-Kai Tsay, Stig Fr. Mjølsnes
A Vulnerability in the UMTS and LTE Authentication and Key Agreement Protocols. MMM-ACNS (2012)
Michael Backes, Iliano Cervesato, Aaron D. Jaggard, Andre Scedrov, Joe-Kai Tsay
Cryptographically sound security proofs for basic and public-key Kerberos. Int. J. Inf. Sec. 10 (2) (2011)
Endre Bangerter, Stefania Barzan, Stephan Krenn, Ahmad-Reza Sadeghi, Thomas Schneider, Joe-Kai Tsay
Bringing Zero-Knowledge Proofs of Knowledge to Practice. Security Protocols Workshop (2009)
Endre Bangerter, Stefania Barzan, Stephan Krenn, Ahmad-Reza Sadeghi, Thomas Schneider, Joe-Kai Tsay
Bringing Zero-Knowledge Proofs of Knowledge to Practice. IACR Cryptol. ePrint Arch. 2009 (2009)
Iliano Cervesato, Aaron D. Jaggard, Andre Scedrov, Joe-Kai Tsay, Christopher Walstad
Breaking and fixing public-key Kerberos. Inf. Comput. 206 (2-4) (2008)
Bruno Blanchet, Aaron D. Jaggard, Andre Scedrov, Joe-Kai Tsay
Computationally sound mechanized proofs for basic and public-key Kerberos. AsiaCCS (2008)
Michael Backes, Iliano Cervesato, Aaron D. Jaggard, Andre Scedrov, Joe-Kai Tsay
Cryptographically Sound Security Proofs for Basic and Public-Key Kerberos. ESORICS (2006)
Iliano Cervesato, Aaron D. Jaggard, Andre Scedrov, Joe-Kai Tsay, Christopher Walstad
Breaking and Fixing Public-Key Kerberos. IACR Cryptol. ePrint Arch. 2006 (2006)
Iliano Cervesato, Aaron D. Jaggard, Andre Scedrov, Joe-Kai Tsay, Christopher Walstad
Breaking and Fixing Public-Key Kerberos. ASIAN (2006)
Michael Backes, Iliano Cervesato, Aaron D. Jaggard, Andre Scedrov, Joe-Kai Tsay
Cryptographically Sound Security Proofs for Basic and Public-Key Kerberos. IACR Cryptol. ePrint Arch. 2006 (2006)