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:

Professional Activities:

Publications:

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.

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