Joe-Kai Tsay

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