Current Grant Projects
Correct-by-Construction Attack Tolerant Systems (CRASH)
- Funded By: Defense Advanced Research Projects Agency
- Project website: www.nuprl.org/crash
Émile – The Event Logic Explorer
- Funded By: NASA Langley
- Project Led By: Architecture Technology Corporation
DivA: Automated generation of logical code diversity
- Funded By: Office of Naval Research
- Project Led By: Architecture Technology Corporation
Past Projects
| Funded by: | Projects: | Selected Papers: |
|---|---|---|
![]() US Air Force |
Formally Generating Adaptive Security Protocols | |
![]() Defense Advanced Research Projects Agency |
Distributed System Security Ensemble Groupware System |
|
Program Composition for Embedded Systems |
Open Logical Programming Environments |
|
National Science Foundation
|
Interactive Formal Courseware Enabling Large Scale Coherency Among Mathematical Texts in the NSDL |
|
![]() Office of Naval Research |
Overview
Building Interactive Formal Digital Libraries |
|



National Science Foundation