My research group builds new tools for the detection and prevention of vulnerabilities in hardware designs using a combination of static analysis, model checking, and dynamic verification. Most recently, we developed SCIFinder: Security Critical Invariant Finder, a tool to identify and formalize properties of a hardware design that are critical to security.
We also participate in the multi-institution project VeHICaL: Verified Human Interfaces, Control, and Learning for Semi-Autonomous Systems. Our focus is on the security and privacy concerns surrounding cyber-physical systems that interact continuously with people.
I am serving as
subcommittee program chair for
the 2018 Design
Automation Conference (DAC). I am also serving on the program committees for
the 2018 IEEE Symposium on
Security and Privacy,
the 2018 USENIX Security Symposium, and
the 2018 International
Conference on Principles of Security and Trust (POST).
Check out the calls for
papers and submit your excellent work.