Nishant Ghosh

Publication Activity (10 Years)

Years Active: 2019-2019
Publications (10 Years): 1

Top Topics

Formal Verification

Ibm Zenterprise

Protection Scheme

Random Number Generator

Top Venues

Publications

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