Transys - Leveraging Common Security Properties Across Hardware Designs
Explore hardware security validation techniques in this IEEE conference talk on Transys, a system for leveraging common security properties across hardware designs. Learn about the challenges of developing security properties, the concept of design equivalence, and how Transys overcomes structural dissimilarities between designs. Discover methods for finding counterparts in different designs, using Program Dependence Graphs (PDG) to capture analogous relationships, and refining constraints to make properties valid. Gain insights into generating valid assertions for new designs, understanding semantic equivalence, and translating properties at scale. Delve into the rising concerns of hardware vulnerabilities and the importance of efficient security validation in modern hardware development.