[an error occurred while processing this directive]
|
|
SECURTIY SEMINARS  Spring 2003
All seminars take place in the conference room of the Department of Computer Science, Lieb Building, 3rd floor, unless otherwise stated.
Security Seminars are co-sponsored by the Laboratory for Secure Systems and New Jersey Institute for Trustworthy Enterprise Software
View all Computer Science Department seminars.
View Multimedia Vision and Visualization Seminars only.
Past Seminars Index
Monday, 3 February 2003
2:00 PM
Carl Gunter, University of Pennsylvania
Title: Authenticated Traversal
Thursday, 20 February 2003
1:30 PM
Andre Scedrov, University of Pennsylvania
Title: Multiset Rewriting and Security Protocol Analysis
Monday, 24 February 2003
2:00 PM
Alan Jeffrey, DePaul University
Title: Full Abstraction for Object-Based Languages Trustworthy Enterprise Software.
Thursday, 10 April 2003
2:00 PM
Steve Zdancewic, University of Pennsylvania
Title: Programming Languages for Information Security
Monday, 14 April 2003
2:00 PM
James Riely, DePaul University
Title: A Calculus of Untyped Aspect-Oriented Programs
Monday, 21 April 2003
2:00 PM
Nina Amla, Cadence Design Systems
Title: Efficient Model Checking for Timing Diagrams
Monday, 28 April 2003
9:00 AM - 5:00 PM
2nd Annual NJITES
Cybersecurity Symposium
Bissenger Room, 4th floor Howe Center
Monday, 5 May 2003
2:00 PM
Stephanie Weirich, University of Pennsylvania
Title: Boxes Go Bananas: Parametric Higher-Order Abstract Syntax in System F
|
