Projects per year
Search results
-
Active
Conference: NSF CICI Principal Investigator Meeting
Shoshitaishvili, Y., Ahn, G., Forrest, S., Trieu, N. & Wang, F.
National Science Foundation (NSF)
10/1/23 → 9/30/24
Project: Research project
-
RxCRS: Reliable and eXplainable Cyber Reasoning System for Digital Health Security
Bao, T., Shoshitaishvili, Y., Doupé, A., Trieu, N., Wang, F., Nguyen, D., Buetow, K. & Forrest, S.
HHS-NIH: Advanced Research Projects Agency for Health (ARPA-H)
9/30/23 → 9/29/25
Project: Research project
-
SaTC: CORE: Medium: Symbolizing Viability: Paving the Road to Practical Symbolic Execution
National Science Foundation (NSF)
5/1/23 → 4/30/27
Project: Research project
-
Next Generation Machine Learning Platform for Advanced Vulnerability Analysis and Reverse Engineering
Bao, T., Doupé, A. & Shoshitaishvili, Y.
DOD-ARMY-ARL: Army Research Office (ARO)
2/1/23 → 7/31/24
Project: Research project
-
-
Shining Light on Occluded Vulnerabilities
DOD-DARPA: Defense Sciences Office (DSO)
8/30/22 → 8/29/24
Project: Research project
-
VOLT: A Viscous, Orchestrated Lifting and Translation Framework
Bao, T., Gupta, S., Wang, F., Forrest, S., Shoshitaishvili, Y. & Doupé, A.
DOD-DARPA: Information Innovation Office (IIO)
7/15/20 → 7/14/24
Project: Research project
-
Human-Assisted Cyber Reasoning Systems and Oppositional Human Factors
Shoshitaishvili, Y., Doupé, A., Bao, T. & Gutzwiller, R.
DOD: National Security Agency (NSA)
9/24/19 → 8/4/24
Project: Research project
-
Finished
EURYALE: Combating Emergent Execution with a GLANCE
Shoshitaishvili, Y., Wang, F., Doupé, A., Forrest, S., Bao, T. & Pedrielli, G.
DOD-DARPA: Information Innovation Office (IIO)
9/6/22 → 3/5/24
Project: Research project
-
LATCH Live binary analysis and patching
Wang, F. & Shoshitaishvili, Y.
7/15/20 → 9/30/21
Project: Research project
-
CHECRS: Cognitive Human Enhancements for Cyber Reasoning Systems
Wang, F., Baral, C., Doupé, A., Shoshitaishvili, Y., Forrest, S. & Bao, T.
DOD-DARPA: Information Innovation Office (IIO)
11/29/18 → 3/31/23
Project: Research project
-
Puppeteer - Achieving Remote Control Over Complex Remote Systems
Shoshitaishvili, Y. & Doupé, A.
DOD-DARPA: Information Innovation Office (IIO)
4/11/18 → 11/14/23
Project: Research project
-
ONR: Trimming and Shaping Binaries for Improved Security
DOD-NAVY: Office of Naval Research (ONR)
10/1/17 → 9/30/22
Project: Research project