Login / Signup
HYDRA: HYbrid Design for Remote Attestation (Using a Formally Verified Microkernel).
Karim Eldefrawy
Norrathep Rattanavipanon
Gene Tsudik
Published in:
CoRR (2017)
Keyphrases
</>
design process
case study
user interface
resource allocation