Proof-carrying hardware : a novel approach to reconfigurable hardware security