Sandip Ray Warren A. Hunt Jr. Mechanized Certification of Secure Hardware Designs. 25-32 2007 MTV http://dx.doi.org/10.1109/MTV.2007.16 conf/mtv/2007 db/conf/mtv/mtv2007.html#RayH07