Projects

Ongoing Projects

1. Runtime Verification at the Edge (NSF SHF)
2. Software Model Checking for Information-flow Security (NSF SaTC)
3. Runtime Monitoring of Low-level Blockchain Functions (NSF FMitF)

 

Past Projects

1. Resource-Aware Hierarchical Runtime Verification for Mixed-Abstraction-Level Systems of Systems (NSF CPS)

Sponsors