TY  - RPRT
TI  - A Verified Architecture for Proofs of Execution on Remote Devices under Full Software Compromise
AU  - Ivan De Oliveira Nunes
AU  - Karim Eldefrawy
AU  - Norrathep Rattanavipanon
AU  - Gene Tsudik
PY  - 2020
UR  - https://arxiv.org/abs/1908.02444
ID  - 1908.02444
ER  -