[Pl-seminar] Cyber Security Symposium, March 15

[Dominic Duggan]

This is a multi-part message in MIME format.
--------------49F62B43FEA906990264AA81
Content-Type: text/plain; charset=us-ascii
Content-Transfer-Encoding: 7bit

                               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:
http://guinness.cs.stevens-tech.edu/~dduggan/Public/NJITES/symposium.html


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.

--------------49F62B43FEA906990264AA81
Content-Type: text/x-vcard; charset=us-ascii;
 name="dduggan.vcf"
Content-Transfer-Encoding: 7bit
Content-Description: Card for Dominic Duggan
Content-Disposition: attachment;
 filename="dduggan.vcf"

begin:vcard 
n:Duggan;Dominic
tel;fax:(201) 216-8249
tel;work:(201) 216-8042
x-mozilla-html:FALSE
url:http://guinness.cs.stevens-tech.edu/~dduggan/index.html
org:Stevens Institute of Technology;Computer Science
version:2.1
email;internet:dduggan@cs.stevens-tech.edu
title:Associate Professor
adr;quoted-printable:;;Department of Computer Science=0D=0AStevens Institute of Technology;Hoboken;New Jersey;07030;USA
note;quoted-printable:Web page: http://www.cs.stevens-tech.edu/~dduggan/index.html=0D=0ANJITES: http://www.njites.org
x-mozilla-cpt:;18496
fn:Dominic Duggan
end:vcard

--------------49F62B43FEA906990264AA81--