Stephanie Drzevitzky. Proof-Carrying Hardware: Runtime Formal Verification for Secure Dynamic Reconfiguration. In International Conference on Field Programmable Logic and Applications, FPL 2010, August 31 2010 - September 2, 2010, Milano, Italy. pages 255-258, IEEE, 2010. [doi]
Abstract is missing.