Attest Like Software: Formally-Verified Software-Programmable Proof of Execution Architecture Using SoC FPGAs.

Fatemeh Arkannezhad, Nader Sehatbakhsh

Browse the full FPGA paper archive.