Projects per year
Search results
-
Active
American Cybersecurity Education (ACE) Institute
Shoshitaishvili, Y. (PI), Wang, F. (CoI), Doupé, A. (CoI) & Bao, T. (CoI)
DOD: Defense Advanced Research Projects Agency (DARPA)
4/12/24 → 4/12/26
Project: Research project
-
SENPAI: Strategic Exploration, Navigation, and Patching of Abstracted Integrations for Cyber-Physical Systems
Wang, F. (CoI), Gupta, S. (CoI), Doupé, A. (CoI), Jiang, Z. (CoI) & Bao, T. (PI)
DOD: Defense Advanced Research Projects Agency (DARPA)
1/23/24 → 8/20/27
Project: Research project
-
RxCRS: Reliable and eXplainable Cyber Reasoning System for Digital Health Security
Bao, T. (CoI), Shoshitaishvili, Y. (CoI), Doupé, A. (CoI), Trieu, N. (CoI), Wang, F. (PI), Nguyen, D. (CoI), Buetow, K. (CoI) & Forrest, S. (CoI)
HHS-NIH: Advanced Research Projects Agency for Health (ARPA-H)
9/30/23 → 9/29/25
Project: Research project
-
Assessing Cyber Training by Cyber Operation Mistakes
DOD-NAVY: Office of Naval Research (ONR)
7/1/23 → 6/30/26
Project: Research project
-
SaTC: CORE: Medium: Symbolizing Viability: Paving the Road to Practical Symbolic Execution
Bao, T. (PI) & Shoshitaishvili, Y. (CoI)
National Science Foundation (NSF)
5/1/23 → 4/30/27
Project: Research project