TY - RPRT TI - Tiny-CFA: A Minimalistic Approach for Control-Flow Attestation Using Verified Proofs of Execution AU - Ivan De Oliveira Nunes AU - Sashidhar Jakkamsetti AU - Gene Tsudik PY - 2020 UR - https://arxiv.org/abs/2011.07400 ID - 2011.07400 ER -