Home
Participants
Project Activities
Papers and Reports
Research Threads
Search

 Pleiades
Assurance for modular and mobile code

Semantic Consistency in Information Exchange

ONR '97 MURI Project

Model Checking Security Protocols

In collaboration with David Dill, Ulrich Stern and others

(this thread was co-funded by DARPA and NSF)