TY  - RPRT
TI  - HYDRA: HYbrid Design for Remote Attestation (Using a Formally Verified Microkernel)
AU  - Karim ElDefrawy
AU  - Norrathep Rattanavipanon
AU  - Gene Tsudik
PY  - 2017
UR  - https://arxiv.org/abs/1703.02688
ID  - 1703.02688
ER  -