ACTIVE PROJECTS Copy link (2015-2019) Developing a Comprehensive Understanding of Malware Delivery Mechanisms (2015-2019) Mitigating APT Damage by Reasoning with Provenance in Large Enterprise Networks (2012-2017) Electronic Security and Privacy: Technological, Human, Enterprise and Legal Considerations (2012-2015) Crowd Sourced Formal Verification (2018-2022) Computers and Humans Exploring Software Security
