ForaSec: Formal analysis of hardware Trojan-based security vulnerabilities in sequential circuits

by | Jan 1, 2021

Authors: F. Khalid, I.H. Abbassi, S. Rehman, A.M. Kamboh, O. Hasan, M. Shafique

IEEE TCAD; Jan. 2021

Journal
View Paper ↗