Proof-Carrying Hardware: Towards Runtime Verification of Reconfigurable Modules | IEEE Conference Publication | IEEE Xplore