Hardware Design Security
The hardware designs that make up most of our hardware components such as CPUs are extremely complex and as we know, complexity often goes hand in hand with security problems. How can we support hardware designers to improve security before hardware components are sent for manufacturing when it is often too late to fix these security problems?
We aim to build knowledge, tools and techniques for increasing the security of hardware designs. We take inspiration from the mature field of software security to see how it could improve hardware design security. This is where we help uncover many security issues in open source hardware designs such as RISC-V CPUs. We are also working on reducing the burden on hardware verification engineers by coming up with new approaches for automated verification of certain security properties.