Symposium on Cyber Security, March 15
[ At least two of the talks at this symposium include types in their
topics... --DD ]
Cyber Security and Trustworthy Software
Friday, March 15, 2002
Stevens Institute of Technology
Hoboken, New Jersey, USA
This symposium brings together researchers and practitioners, in government,
academia and industry, to discuss problems and possible solutions in cyber
security, both for e-commerce and for homeland security. A particular emphasis
of the symposium is to bring together those interested in communications
security and in end-to-end security.
Further information is available at the web site:
8:30-9:15 Registration and breakfast
9:15 Opening remarks
9:30-10:30 Keynote talk: The Case for Language-Based Security.
Fred Schneider, Cornell University.
10:30-11:00 Coffee break.
11:00-11:30 A Decentralized Mechanism for Distributed Access Control.
Naftaly Minsky, Rutgers University.
11:30-12:00 Java, Access Control and Static Analysis.
David Naumann, Stevens Institute of Technology.
12:00-12:30 Security Protocols for Wireless Computing.
Susanne Wetzel, Stevens Institute of Technology.
2:00-3:00 Keynote talk: Network Security.
Steve Bellovin, AT&T Laboratories.
3:00-3:30 Coffee break.
3:30-4:00 Fault Tolerance, Security and Programming Languages.
Dominic Duggan, Stevens Institute of Technology.
4:00-4:30 Formal Analysis of Security Protocols in a Concurrent
Logical Framework. David Walker, Princeton University.
4:30-5:00 Intrusion Detection in Wireless Networks.
Constantine Manikopoulos, New Jersey Institute of Technology.
5:00 Concluding remarks.