![](/img/cover-not-exists.png)
[ACM Press the 56th Annual Design Automation Conference 2019 - Las Vegas, NV, USA (2019.06.02-2019.06.06)] Proceedings of the 56th Annual Design Automation Conference 2019 on - DAC '19 - Formal Verification of Security Critical Hardware-Firmware Interactions in Commercial SoCs
Ray, Sayak, Ghosh, Nishant, Masti, Ramya Jayaram, Kanuparthi, Arun, Fung, Jason M.Year:
2019
Language:
english
DOI:
10.1145/3316781.3323478
File:
PDF, 591 KB
english, 2019