Publications in Scientific Journals:

I. H. Abbassi, F. Khalid, O. Hasan, A. M. Kamboh, M. Shafique:
"McSeVIC: A Model Checking Based Framework for Security Vulnerability Analysis of Integrated Circuits";
IEEE Access, 6 (2018), 32240 - 32257.

"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)

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