USENIX Security '23 - Design of Access Control Mechanisms in Systems-on-Chip with Formal...
▶USENIX Security '23 - Design of Access Control Mechanisms in Systems-on-Chip with Formal... — a USENIX security conference talk on hardware-firmware (10:51 min). Watch the full video, indexed free on the Breach Arc Archive.
▶ Watch video on YouTube