Karim Eldefrawy, Norrathep Rattanavipanon, Gene Tsudik. HYDRA: hybrid design for remote attestation (using a formally verified microkernel). In Guevara Noubir, Mauro Conti, Sneha Kumar Kasera, editors, Proceedings of the 10th ACM Conference on Security and Privacy in Wireless and Mobile Networks, WiSec 2017, Boston, MA, USA, July 18-20, 2017. pages 99-110, ACM, 2017. [doi]
Abstract is missing.