Sayak Ray, Nishant Ghosh, Ramya Jayaram Masti, Arun K. Kanuparthi, Jason M. Fung. Formal Verification of Security Critical Hardware-Firmware Interactions in Commercial SoCs. In Proceedings of the 56th Annual Design Automation Conference 2019, DAC 2019, Las Vegas, NV, USA, June 02-06, 2019. pages 43, ACM, 2019. [doi]
Abstract is missing.