Presentations

• John Mitchell, Project Overview (ps, ppt)
• Andre Scedrov, Protocol modeling (ps, ppt)
  • Unified Logical Framework for Protocol Analysis
  • A Probabilistic Poly-Time Framework
• John Mitchell, Mobile Code Security Issues (ps, ppt)
• Insup Lee, Design-Time and Run-Time Assurance (ps, ppt)
  • Monitoring Framework and Event Definition Language
  • Probabilistic ACSR
  • Symbolic Schedulability Analysis
• Interactive Proof Protocols
  • Ronitt Rubinfeld, Fast Protocols for Optimization Problems (ps, ppt)
  • Cynthia Dwork, Run-Time Monitoring and Checking
• Diana Gordon, Agents
  • Reverification of Plans for Adaptive Systems (ps, ppt)
  • MAVs in Hexagon Formation

Demos

• Iliano Cervesato, Logical Frameworks
  • Real-Time Constraints (ps, ppt)
  • Security Protocol Analysis (ps, ppt)
• Vitaly Shmatikov, Model Checking and Protocol Analysis
  • Murphi Intruder Generator (ps, ppt)
  • A Logic-Based Tool with Java Front-End
• System Monitoring and Cheking
  • Oleg Sokolsky, Network Proxy and Bytecode Filter
  • Moonjoo Kim, Run-Time Monitoring of Railroad Crossing with the PEDL/MEDL model (ps, ppt)