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,
"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)
Created from the Publication Database of the Vienna University of Technology.