[an error occurred while processing this directive]
SECURITY SEMINARS Fall 2004
All seminars take place in Room 124, Burchard Building, unless
otherwise stated.
Note change of room from previous semesters!
If you would like to receive e-mail announcements of these talks,
please subscribe to
cs-seminars (announcements of all Stevens computer science
department seminars) or ny-sec
(announcements of a variety of security research talks in the greater
NYC metropolitan area).
Security Seminars are co-sponsored by the Laboratory for
Secure Systems , New Jersey
Institute for Trustworthy Enterprise Software , and the PORTIA
project .
View all Computer Science Department seminars
Past Seminars Index
September
Monday
13 September
2004
2:00 PM
Nasir Memon , Polytechnic University
Title:
ForNet: A Network Forensics System
Friday,
17 September
2004
11:00 AM
Lieb 3rd floor
conference room
Nobuko Yoshida , Imperial College London
Title: Fine-Grained Access Control for Mobile Computing
Friday,
17 September
2004
2:00 PM
Lieb 3rd floor
conference room
Kohei Honda , Queen Mary University of London
Title: From Process Logics to Program Logics
Tuesday,
21 September
2004
12:45 PM
Lieb 3rd floor
conference room
Sheng Zhong , Stevens Institute of Technology
Title:
Verifiable Distributed Oblivous Transfer and Mobile Agent
Security
October
Wednesday,
13 October
2004
3:00 PM
Lieb 3rd floor
conference room
Dan Boneh , Stanford University
Title:
Defending Against Online Identity Theft and Phishing
Monday,
18 October
2004
2:00 PM
Michael Barnett , Microsoft
Title:
A Bit of Butter (What Could Be Better Than Sliced Bread?):
The Spec# Programming System
Monday,
25 October
2004
2:00 PM
Ernie Cohen , Microsoft
Title:
First-order Verification of Cryptographic Protocols
November
Monday,
1 November
2004
2:00 PM
Tomas Sander , HP Labs
Title: Digital Rights Management
Monday,
29 November
2004
2:00 PM
Tal Rabin , IBM T.J. Watson
Title: Secure Hashed Diffie-Hellman over
Non-DDH Groups
December
Monday,
13 December
2004
2:00 PM
Adrian Francalanza , University of Sussex
Title: Failure and Fault-Tolerance in a
Distributed Pi-calculus