Formal Verification of Security Critical Hardware-Firmware Interactions in Commercial SoCs.

Sayak Ray, Nishant Ghosh, Ramya Jayaram Masti, Arun K. Kanuparthi, Jason M. Fung

Browse the full DAC paper archive.