[Back]


Publications in Scientific Journals:

F. Khalid, I. H. Abbassi, S. Rehman, A. Mehmood Kamboh, O. Hassan:
"ForASec: Formal Analysis of Hardware Trojan-based Security Vulnerabilities in Sequential Circuits";
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, "" (2021), ""; ##.



"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)
http://dx.doi.org/10.1109/TCAD.2021.3061524


Created from the Publication Database of the Vienna University of Technology.