[TYPES] Stevens / Columbia / IBM Research Security & Privacy Day

[Dominic Duggan]

[At least one of the talks is about types. --DD]


                        Stevens / Columbia / IBM Research
                            Security and Privacy Day

                           Monday, November 14, 2005
                      Stevens Institute of Technology
                          Hoboken, New Jersey, USA


Web site: http://www.cs.stevens.edu/SecurityPrivacy

This meeting 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 meeting is to bring together
those interested in communications security and in end-to-end security.


8:30-9:15 Registration and breakfast

9:15 Opening remarks

9:30-10:30 Keynote talk: Progress on the PORTIA Project
      Joan Feigenbaum, Yale University

10:30-11:00 Coffee break and poster session.

11:00-11:30 Consistent Security Policy Evaluation
      Sotiris Ioannidis, Stevens Institute of Technology
      
11:30-12:00 Kleptography: Cryptographic Attacks on Cryptographic Systems
            and their Trust Implications
      Moti Yung, Columbia University

12:00-2:00 Lunch.

2:00-3:00 Keynote talk: .NET Framework Security: Lessons Learned 
          from Five Years of Shipping Partially-Trusted Code
      Brian LaMacchia, Microsoft Research

3:00-3:30 Coffee break and poster session.

3:30-4:00 A Distributed Object-Oriented language with Session types
      Mariangiola Dezani-Ciancaglini, Universita di Torino

4:00-4:30 Mobile Access Control
      Adriana Compagnoni, Stevens Institute of Technology

4:30 Concluding remarks.

E-mail inquiries: dduggan at cs.stevens.edu