Hardware Security @ UNC lab, a research group tackling the problem of how to validate the security of computer hardware. We are developing new specification mining techniques to automatically identify the properties of a hardware design that are critical to security, and we are building Coppelia, a tool for the symbolic execution of a hardware design that enables bug finding, exploit generation, assertion refinement, or patch verification.
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. We have released the Drowsy Driving Dataset, which provides video of users in a simulated driving scenario alongside their reported drowsiness levels.