THURSDAY June 05, 2:00pm - 4:00pm | 232-234
TOPIC AREA: SECURITY
KEYWORD: HARDWARE SECURITY
EVENT TYPE: DAC INSIGHT
Formally Addressing Hardware Security
Speaker:
Victor Markus Purri - Jasper Design Automation, Inc., Mountain View, CA
Organizer:
Rob van Blommestein - Jasper Design Automation, Inc., Mountain View, CA
Complex SoC’s, such as those for cell phones, game consoles, medical devices, vehicles, and servers contain secure information that’s valuable for unauthorized parties to exploit. Unfortunately, manual inspection by experts doesn’t scale, and simulation-based or emulation approaches rely on the inconsistent hacking abilities of verification engineers.  Inevitably many corner cases are left unchecked, leaving open pathways for attackers. This session will focus on formal methods to tackle security verification challenges and make hardware impervious to attackers.  Specifically, it will demonstrate how formal verification can be used exhaustively prove that attackers cannot breach the hardware authentication logic and registers, and/or read or alter the secure data through illegal logic paths. All of the above will be demonstrated in the context of several real-world case studies.
Sponsored by: