Agenda - Friday, November 3, 2006
• Download Printable Pdf Agenda / Poster Presentation
AM Session
| Time | Activity/Topic | Presenter |
| 7:45-8:30 | Breakfast | |
| 8:30–9:00 | Mission of Institute of Information Assurance | Agnes Chan |
| 9:00–9:30 | Providing Efficient Intrusion Detection and Anti-Virus Scanning | David Kaeli |
| 9:30–10:00 | Tools for Forensic Log Analysis | Jay Aslam |
| 10:00–10:30 | Break | |
| 10:30–11:00 | Why Verify Software? | Matthias Felleisen |
| 11:00-11:30 | Robust Network Design | Rajmohan Rajaraman |
| 11:30-12:30 | Poster Presentation |
PM Session
| Time | Activity/Topic | Presenter |
| 12:30-1:30 | Lunch at the Ballroom | |
| 1:30-2:00 | Robust and Secure Heterogeneous Wireless Communication | Gouvera Noubir |
| 2:00-2:30 | SMART: A System-level Modeling and Analysis Reliability Toolset | Mehdi Tahoori |
| 2:30-3:00 | Independence from Obfuscation: A Semantic Framework for Diversity | Riccardo Pucella |
| 3:00 | Wrap up | David Kaeli |