https://9lib.org/document/y960xe9d-secure-computing-on-reconfigurable-systems.html