Padmaja Bhamidipati, Shanmukha Murali Achyutha, Ranga Vemuri. Security Analysis of a System-on-Chip Using Assertion-Based Verification. In 64th IEEE International Midwest Symposium on Circuits and Systems, MWSCAS 2021, Lansing, MI, USA, August 9-11, 2021. pages 826-831, IEEE, 2021. [doi]
Abstract is missing.