Automating Hardware Security Property Generation
TimeThursday, July 14th5pm - 5:30pm PDT
Location3003, Level 3
Special Session (Research)
DescriptionProperty-driven hardware security is an emerging verification methodology that defines the threat model, specifies the security requirements as properties, detects violations of those properties, and assesses the resultant consequences to security. System-level security requirements into hardware properties is a complex, mostly manual process that is the bottleneck of property-driven hardware security. Specifying hardware security properties is challenging and requires insights from security auditors and hardware designers. Security auditors will not have a deep understanding of the hardware’s functionality while hardware designers rarely understand the nuances of the security requirements. This forces the security and hardware teams to jointly understand the security requirements and their implications on the hardware design. This talk describes automated techniques to help generate security properties. The techniques provide design insights and help automate the security property generation process using limited human input.