Mechanized Certification of Secure Hardware Designs | IEEE Conference Publication | IEEE Xplore