MALDIVES: Developing a Comprehensive Understanding of Malware Delivery Mechanisms (2015-2019)
ESP-IGERT: Electronic Security and Privacy: Technological, Human, Enterprise and Legal Considerations (2012-2017)
MARPLE: Mitigating APT Damage by Reasoning with Provenance in Large Enterprise Networks (2015-2019)
CSFV: Crowd Sourced Formal Verification (2012-2015)
CHESS: GAMEPLAY: Graph Analysis for Mechanized Exploit generation and Patching Leveraging human Assistance for improved Yield (2018-2022)