HYDRA: hybrid design for remote attestation (using a formally verified microkernel)
TrustLite: a security architecture for tiny embedded devices