Proof-Carrying Hardware Intellectual Property: A Pathway to Trusted Module Acquisition | IEEE Journals & Magazine | IEEE Xplore