Beyond Bug Hunting: Exhaustive Hardware Security Guarantees with UPEC
Lucas Deutschmann introduces Unique Program Execution Checking (UPEC). UPEC is a formal verification methodology designed to systematically detect microarchitectural vulnerabilities and provide exhaustive security guarantees for the entire system stack.
The full recording can be found here:
Our Speaker
Lucas Deutschmann is a PhD student at RPTU Kaiserslautern, and a formal verification engineer with LUBIS EDA.