Obtaining Microprocessor Vulnerability Factor Using Formal Methods.

Syed Z. Shazli Mehdi Baradaran Tahoori Obtaining Microprocessor Vulnerability Factor Using Formal Methods. 63-71 2008 DFT http://dx.doi.org/10.1109/DFT.2008.52 conf/dft/2008 db/conf/dft/dft2008.html#ShazliT08