[an error occurred while processing this directive]
|
|

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 the
cs-seminars mailing list.
View Security Seminars
only
Past Seminars Index
September  |
Monday
13 September
2004 |
2:00 PM |
Nasir Memon, Polytechnic University
Title:
ForNet: A Network Forensics System
Co-sponsored by Laboratory for
Secure Systems, New Jersey
Institute for Trustworthy Enterprise Software, and the PORTIA
project. |
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
Co-sponsored by Laboratory for
Secure Systems, New Jersey
Institute for Trustworthy Enterprise Software, and the PORTIA
project. |
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
Co-sponsored by Laboratory for
Secure Systems, New Jersey
Institute for Trustworthy Enterprise Software, and the PORTIA
project. |
Monday,
20 September
2004 |
2:00 PM |
Dennis Skotak, Freelance Visual Effects
Supervisor
Title:
The Real-World Process of Creating Visual Effects
Sponsored by the
Multimedia Vision and Visualization Group. |
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
Co-sponsored by Laboratory for
Secure Systems, New Jersey
Institute for Trustworthy Enterprise Software, and the PORTIA
project. |
Friday,
24 September
2004 |
11:00 AM |
Henrik Nilsson, University of Nottingham
Title:
Functional Reactivity: Eschewing the Imperative
|
October  |
Monday,
4 October
2004 |
2:00 PM |
Thorsten Theobald, Yale University
Title:
Non-Linear Issues in Computational Geometry
|
Monday,
11 October
2004 |
|
Fall Recess |
Wednesday,
13 October
2004 |
3:00 PM
Lieb 3rd floor
conference room |
Dan Boneh, Stanford University
Title:
Defending Against Online Identity Theft and Phishing
Co-sponsored by Laboratory for
Secure Systems, New Jersey
Institute for Trustworthy Enterprise Software, and the PORTIA
project.
|
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
Co-sponsored by Laboratory for
Secure Systems, New Jersey
Institute for Trustworthy Enterprise Software, and the PORTIA
project.
|
Monday,
25 October
2004 |
2:00 PM |
Ernie Cohen, Microsoft
Title:
First-order Verification of Cryptographic Protocols
Co-sponsored by Laboratory for
Secure Systems, New Jersey
Institute for Trustworthy Enterprise Software, and the PORTIA
project.
|
November  |
Monday,
1 November
2004 |
2:00 PM |
Tomas Sander, HP Labs
Title: Digital Rights Management
Co-sponsored by Laboratory for
Secure Systems, New Jersey
Institute for Trustworthy Enterprise Software, and the PORTIA
project. |
Monday,
15 November
2004 |
2:00 PM |
Yigal Bejerano, Lucent Technologies - Bell Labs
Title: Performance Management of 802.11
Wireless LANs
|
Monday,
22 November
2004 |
2:00 PM |
Szymon Rusinkiewicz, Princeton University
Title:
Suggestive Contours for Conveying Shape in Computer-Generated Line
Drawings
Sponsored by the
Multimedia Vision and Visualization Group. |
Monday,
29 November
2004 |
2:00 PM |
Tal Rabin, IBM T.J. Watson
Title: Secure Hashed Diffie-Hellman over
Non-DDH Groups
Co-sponsored by Laboratory for
Secure Systems, New Jersey
Institute for Trustworthy Enterprise Software, and the PORTIA
project. |
December  |
Monday,
6 December
2004 |
2:00 PM |
Dimitris Samaras, SUNY Stony Brook
Title:
Illumination and Human Faces
Sponsored by the
Multimedia Vision and Visualization Group. |
Monday,
13 December
2004 |
2:00 PM |
Adrian Francalanza, University of Sussex
Title: Failure and Fault-Tolerance in a
Distributed Pi-calculus
Co-sponsored by Laboratory for
Secure Systems, New Jersey
Institute for Trustworthy Enterprise Software, and the PORTIA
project. |
|