[Back]


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)
http://dx.doi.org/10.1109/ACCESS.2018.2846583

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