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 currently hiring graduate students. If you are a current or prospective Ph.D. student interested in joining my research group, email me or stop by my office and tell me a little about yourself.