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 on the program committees for
the 39th IEEE Symposium on
Security and Privacy and the 7th International Conference on Principles of Security and Trust (POST). Check out the calls for
papers and submit your excellent work.