HYDRA: hybrid design for remote attestation (using a formally verified microkernel)
Invited - Things, trouble, trust: on building trust in IoT systems