A Contessa review will take place on June 8, 2004
at the
Program: Jose Meseguer, UIUC
Local Arrangements: Carl A. Gunter,
Penn
Assistant: Kathy Venit, Penn
The meeting will take place in Levine Hall, the new Computer and Information Science building in room 307. This is located at 3330 Walnut. To reach it, walk along Walnut between 33rd and 34th streets and turn into the walkway in the middle of the block on the south side of the street. The Levine building is a glass building on your right after you pass the loading dock.
09:45-10:00 Introduction: José Meseguer (UIUC) (Slides: pdf)
10:00-10:30 Narrowing Techniques for Cryptoprotocol Analysis: Prassannaa Thati (UIUC), joint work with Jose Meseguer (UIUC) (Slides: ps and pdf)
10:30-10:45 Coffee Break
10:45-10:55 Overview: Carl Gunter(UPenn) (Slides: ppt pdf)
10:55-11:20 Probabilistic Modelling of Security Protocols for Analysis of DoS Attacks: Prassannaa Thati (UIUC), joint work with Jose Meseguer (UIUC), Koushik Sen (UIUC) Gul Agha (UIUC) and Carl Gunter (UPenn) (Slides: ppt pdf)
11:20-11:45 L3A: Alwyn Goodloe (UPenn), joint work with Mark-Oliver Stehr (UIUC) (Slides: ppt pdf)
11:45-12:30 LUNCH
12:30-12:50 Computing and Communication in the Presence of Mobility - Overview: Catalin Roman(WUSTL) (Slides: ppt pdf)
12:50-13:20 An Agent-Centered Perspective on Context-Aware Computing: Jamie Payton (WUSTL) (Slides: ppt pdf)
13:20-13:30 Coffee Break
13:30-14:00 Power-Aware Reflective Middleware: Shivajit Mohapatra (UCI) (Slides: ppt pdf)
14:00-14:30 Adaptive Group Communication for Mobile Environments: Sebastian Gutierrez-Nolasco (UCI), joint work with Nalini Venkatasubramanian (UCI), Mark-Oliver Stehr (UIUC), and Carolyn L. Talcott (SRI) (Slides: ppt pdf)