Virtual field programmable gate arrays (FPGA) are overlay architectures realized on top of
physical FPGAs. They are proposed to enhance or abstract away from the physical FPGA for …

Proof-carrying hardware (PCH) is a principle for achieving safety for dynamically
reconfigurable hardware systems. The producer of a hardware module spends huge effort …

Previous research in proof-carrying hardware has established the feasibility and utility of the
approach, and provided a concrete solution for employing it for the certification of functional …