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)

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