MURI project, May 1998 review meeting

Home

Participants

Project Activities

Papers and Reports

Research Threads

Search

Assurance for modular and mobile code

Semantic Consistency in Information Exchange

ONR '97 MURI Project

Institute for Research in Cognitive Science
University of Pennsylvania
Philadelphia, May 12th 1998

John Mitchell, Project Overview (ps, ppt)

Specification and Static Analysis
- Andre Scedrov, Specifying Real-Time Systems in Linear Logic (ps, ppt)
- Diana Gordon, Abstraction for Model Checking (ps, ppt)
- Demo: Compositional Checking of Exponentiation, Funda Ergün and Iliano Cervesato

Run-Time Instrumentation and Monitoring
- Ronitt Rubinfeld, Spot Checking (ps, ppt) *
- Insup Lee, Run-Time Monitoring and Checking (ps, ppt)
- Demo: Run-Time Monitoring of Java Programs, Mahesh Viswanathan and Moonjoo Kim *

Protocols and Interaction with Environment
- Sampath Kannan, Probabilistic Protocols and Merkle Trees (ps, ppt)
- John Mitchell, A Probabilistic, Polynomial-Time Framework (ps, ppt)
- Demo: Improved Finite-State Analysis for Security Protocols, Ulrich Stern *