Formal Verification of Security Critical Hardware-Firmware Interactions in Commercial SoCs. - Sayak Ray; Nishant Ghosh; Ramya Jayaram Masti; Arun K. Kanuparthi; Jason M. Fung (DAC, 2019)