Joe-Kai Tsay

According to our database, Joe-Kai Tsay authored at least 8 papers between 2006 and 2012.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2012

Efficient Padding Oracle Attacks on Cryptographic Hardware.

Romain Bardou, Riccardo Focardi, Yusuke Kawamoto, Lorenzo Simionato, Graham Steel, Joe-Kai Tsay

IACR Cryptol. ePrint Arch., 2012

Computational Security Analysis of the UMTS and LTE Authentication and Key Agreement Protocols

Stig Fr. Mjølsnes, Joe-Kai Tsay

CoRR, 2012

A Vulnerability in the UMTS and LTE Authentication and Key Agreement Protocols.

Joe-Kai Tsay, Stig Fr. Mjølsnes

Proceedings of the Computer Network Security, 2012

PEVS: A Secure Electronic Voting Scheme Using Polling Booths.

Md. Abdul Based, Joe-Kai Tsay, Stig Fr. Mjølsnes

Proceedings of the Data and Knowledge Engineering - Third International Conference, 2012

2009

Bringing Zero-Knowledge Proofs of Knowledge to Practice.

Endre Bangerter, Stefania Barzan, Stephan Krenn, Ahmad-Reza Sadeghi, Thomas Schneider, Joe-Kai Tsay

IACR Cryptol. ePrint Arch., 2009

2008

Computationally sound mechanized proofs for basic and public-key Kerberos.

Bruno Blanchet, Aaron D. Jaggard, Andre Scedrov, Joe-Kai Tsay

Proceedings of the 2008 ACM Symposium on Information, Computer and Communications Security, 2008

2006

Breaking and Fixing Public-Key Kerberos.

Iliano Cervesato, Aaron D. Jaggard, Andre Scedrov, Joe-Kai Tsay, Christopher Walstad

IACR Cryptol. ePrint Arch., 2006

Cryptographically Sound Security Proofs for Basic and Public-Key Kerberos.

Michael Backes, Iliano Cervesato, Aaron D. Jaggard, Andre Scedrov, Joe-Kai Tsay

IACR Cryptol. ePrint Arch., 2006