A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is
In this work, we tackle this challenge by designing Tiny-CFA - a control-flow attestation (CFA) technique with a single hardware requirement - the ability to generate proofs of remote software execution ... Hybrid trust anchors support security services, such as remote attestation, proofs of software update/erasure/reset, proofs of remote software execution, in resource-constrained MCU-s, e.g., MSP430 and ... Tiny-CFA Tiny-CFA couples a formally verified PoX with code instrumentation to obtain CFA. ...arXiv:2011.07400v2 fatcat:omjsmbsr6fbiflwm6rf3rdzrpm