Karim Eldefrawy Norrathep Rattanavipanon Gene Tsudik HYDRA: HYbrid Design for Remote Attestation (Using a Formally Verified Microkernel). 2017 abs/1703.02688 CoRR http://arxiv.org/abs/1703.02688 db/journals/corr/corr1703.html#EldefrawyRT17