HYDRA: hybrid design for remote attestation (using a formally verified microkernel).

Karim Eldefrawy Norrathep Rattanavipanon Gene Tsudik

Published in: WISEC (2017)

Keyphrases

case study
user interface
information systems
response time
low cost
resource allocation
development process
conceptual framework