Symposium on Cyber Security, March 15

[ At least two of the talks at this symposium include types in their
  topics... --DD ]

                               Symposium on
                  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.

12:30-2:00 Lunch.

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.