Opening book details…
About this scholarly article
HYDRA: HYbrid Design for Remote Attestation (Using a Formally Verified Microkernel) by Karim Eldefrawy, Norrathep Rattanavipanon, and Gene Tsudik is a scholarly article available to read on EtoBox.
- Author
- Karim Eldefrawy, Norrathep Rattanavipanon, and Gene Tsudik
More by Karim Eldefrawy, Norrathep Rattanavipanon, and Gene Tsudik
Browse all works by Karim Eldefrawy, Norrathep Rattanavipanon, and Gene Tsudik