Skip to main content
University of Pennsylvania
School of Arts and Sciences
Penn A-Z
Penn Calendar
Department of
Mathematics
Search form
Search
Search
Department of Mathematics
Home
About
People
Undergraduate
Graduate
Courses
News
Events
Contact
Search
Search
A Simulatable Dolev-Yao Style Cryptographic Library
Penn Computer Security Seminar
Tuesday, November 2, 2004 - 12:15pm
Michael Backes
IBM Zurich
Location
University of Pennsylvania
315 Levine