|
|
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, October 14th 1997
-
John Mitchell,
Project Overview
(ps,
ppt)
-
Andre Scedrov,
Threat Analysis: Concurrent Probabilistic Poly-Time Processes
(ps,
ppt)
-
Insup Lee,
Grey-Box Program Monitoring: Safety Properties
(ps,
ppt)
-
Sampath Kannan,
Distributed Monitoring
(ps,
ppt)
-
Ronitt Rubinfeld,
Spot Testing
-
John Mitchell,
Content-Based Program Assurance
(ps,
ppt)
-
Iliano Cervesato,
Linear Logical Frameworks
(ps,
ppt)
-
John Mitchell,
Protocol Analysis Using Murphi
(ps,
ppt)
-
Demos
|
|