Hardware Security @ UNC
I lead the Hardware Security @ UNC lab. We build tools for the formal analysis of hardware designs. The goal of our research is to find the security flaws in hardware before the design is fabricated.
Join the lab!
We are hiring. If you are a prospective PhD student interested in joining the lab, email me to set up a meeting. If you are a current UNC CS undergraduate, MS, or PhD student email or come by my office hours.