Joe-Kai Tsay

I graduated from the University of Pennsylvania in August'08 and am now a Postdoc at the Horst Görtz Institute for IT Security at the Ruhr-University Bochum, Germany. My PhD advisor was Andre Scedrov.

New address:
Department of Electrical Engineering and Information Sciences
Ruhr-University Bochum
Universitätsstraße 150, IC 4/48
D-44780 Bochum
Germany
Phone: +49 234 32 29230
Fax: +49 234 32 14956
E-mail: joe-kai.lastname@trust.rub.de
Web: www.trust.rub.de/home/staff/tsay/

=================================================================================================================================================

Research Interests:

• Computer Security, Information Assurance, Security Protocols, Formal Methods, Cryptography

Professional Activities:

• Program Committees
  • 2009 Information Security Conference, ISC 2009, Pisa, Italy, September 7-9, 2009

Publications:

• Journals
  • Breaking and Fixing Public-Key Kerberos (with I. Cervesato, A. Jaggard, A. Scedrov, and C. Walstad)
    Information and Computation 206(2008), Elsevier, 2008, pp. 402–424
  
  
• Conferences/workshops
1. Bringing Zero-Knowledge Proofs of Knowledge to Practice (with E. Bangerter, S. Barzan, S. Krenn, A.-R. Sadeghi, T. Schneider)
   In: 17th International Workshop on Security Protocols, SWP 2009, Cambridge, UK, to appear
2. Computationally Sound Mechanized Proofs for Basic and Public-key Kerberos (with B. Blanchet, A. Jaggard, A. Scedrov)
   In: ACM Symposium on Information, Computer and Communications Security, ASIACCS 2008, Tokyo, Japan, ACM Press, 2008, pp. 87-99 [.pdf]
3. Computationally Sound Mechanized Proofs of PKINIT for Kerberos (with A. Jaggard and A. Scedrov)
   In: 3rd Workshop on Formal and Computational Cryptography, FCC 2007, Venice, Italy, to appear [.pdf]
4. Cryptographically Sound Security Proofs for Basic and Public-key Kerberos (with M. Backes, I. Cervesato, A. Jaggard, and A. Scedrov)
   In: A. Gollmann, J. Meier, and A. Sabelfeld, eds., Computer Security – ESORICS 2006, 11th  European Symposium On Research In Computer Security, Springer LNCS, Volume 4189, 2006, pp. 362 - 383 [.pdf]  
5. Breaking and Fixing Public-Key Kerberos (with I. Cervesato, A. Jaggard, A. Scedrov, and C. Walstad)
   In: M. Okada, I. Satoh, eds., 11th  Annual Asian Computing Science Conference, ASIAN 2006, Tokyo, Japan, Springer LNCS, Volume 4435, 2008, pp. 167- 181 [.pdf]


• Thesis
  • Formal Analysis of the Kerberos Authentication Protocol [.pdf]

Talks:

1. Computationally Sound Mechanized Proofs for Basic and Public-Key Kerberos at
   a. ACM Symposium on Information, Computer and Communications Security, ASIACCS'08, Tokyo, Japan, March 18th, 2008
   b. Protocol Exchange Meeting, Baltimore, MD, October 26th, 2007 and at
   c. Formal Protocol Verification Applied, Workshop at Schloss Dagstuhl, Wadern, Germany, Oct. 14th - 19th, 2007 [seminar website]
2. Cryptographically Sound Analysis of Basic and Public-Key Kerberos at
   Center for Algorithms and Interactive Scientific Software (CAISS), City College of New York - CUNY, New York, March 4th, 2008
3. Computationally Sound Mechanized Proof of PKINIT for Kerberos at
   3rd Workshop on Formal and Computational Cryptography, FCC 2007, Venice, Italy, July 5th, 2007
4. Cryptographically Sound Security Proofs for Basic and Public-Key Kerberos at
   a. Penn Security Seminar , Philadelphia, PA, October 4th, 2006 and at
   b. Protocol Exchange Meeting, Fort Meade, MD, September 28th, 2006 and at
   c. European Symposium On Research In Computer Security, ESORICS'06, Hamburg, Germany, September 19th, 2006
5. Breaking and Fixing Public-Key Kerberos at
   Theory of Cryptography Conference, TCC 2006, Rump Session, New York, NY, March 5th, 2006

Before coming to the University of Pennsylvania I studied Mathematics at the University of Essen, Germany. My advisor there was Henning Stichtenoth and the title of my Diplomarbeit (M.A. thesis) was Geometrische Goppa-Codes und verallgemeinerte Produktcodes (Geometric Goppa Codes and Generalized Product Codes) [.pdf (in German)].

_____________________________________________________________________________________________________________________________________________________________________

Curriculum Vitae: My current Curriculum Vitae can be found here.

==================================================================================================================================================