SMART: Secure and Minimal Architecture for (Establishing Dynamic) Root of Trust
Secure code update for embedded devices via proofs of secure erasure