Skip to main content

Targeted Software Assurance

Researchers: William Scherlis, Jonathan Aldrich

Research Area: Survivable Distributed Systems

Cross Cutting Thrusts: Software Security | Formal Methods

Abstract

Scope:  Our continuation emphasizes assurance via both analysis and monitoring targeted at domain-specific properties, information flows, and concurrent executions.

Outcomes:  New techniques for software analysis of domain-specific properties, information flows, and concurrent executions, and empirical studies applying these in industrial settings.