Funded Projects

Current Projects

• Enhancing VMF: Source-agnostic Techniques for Code Coverage, Crash Triage, and Harnessing
• CICI:TCR: Practical. Systematic Fuzz Testing for Securing Scientific Software
• HERCULES: Hardware-enhanced Resilient Compartmentalization and Program Analysis for Upgraded Legacy Environment Security
• RAMPART: Reinforcement Against Malicious Penetration by Adversaries in Realistic Topologies
• VA-CNIP: A Coalition for the Virginia Cyber Navigator Internship Program

Recent Past Projects

• P-CORE: Privacy Enhanced Coordinated Enterprise Defense via Temporal and Topological Representation Learning
• CC* Integration: Enchancement and Deployment of LDM7 for Scientific Data Distribution
• Trusted and Resilient Mission Operation
• Double Helix: High Assurance N-Variant Systems
• DARPA Cyber Grand Challenge
• Helix