University of Pennsylvania
Department of Mathematics
209 S. 33rd Street
Philadelphia, PA 19104-6395
Email: jetsay [at] math [dot] upenn [dot] edu
Office: DRL 4C19
Office Phone: two one five - eight nine eight - two four one seven

Welcome to my website!
I am a graduate student in my 5th year. My research interests are (the foundations of) Computer Security, Information Assurance, and Cryptographic Protocols.
My advisor is Andre Scedrov.
=================================================================================================================================================
Teaching:
Spring 2008 : Math 114 - Calculus II (Sections 211, 212, 213, 214) taught by Ed Crotty (ecrotty [at] math [dot] upenn [dot] edu)
Recitations:
Section 211: T 8:30AM - 9:20AM
Section 212: T 9:30AM - 10:20AM
Section 213: R 8:30AM - 9:20AM
Section 214: R 9:30AM - 10:20AM
There will be weekly quizzes! The problems will be close to the homework problems that should be posted on blackboard (see the assignments tab).
Most of the relevant course information can be found on the course website -- it also contains links to the Math Help Centers, the Math Tutoring Center and a list of private tutors approved by the Math Department.
My office hours are currently scheduled for Tuesdays and Wednesdays 1:30-2:30PM in DRL 4C19 and by appointment (the office hours may change if they are inconvenient for too many students).
____________________________________________________________________________________________________________________________________________________________________
Publications:
Journals
1. 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
1. 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]
2. 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]
3.
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]
4. 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]
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.
==================================================================================================================================================