Login / Signup

FUsing Hybrid Remote Attestation with a Formally Verified Microkernel: Lessons Learned.

Karim EldefrawyNorrathep RattanavipanonGene Tsudik
Published in: DSN Workshops (2017)
Keyphrases
  • lessons learned
  • future directions
  • case study
  • database
  • data sets
  • participatory design
  • user interface
  • virtual machine
  • distributed computing
  • computing platform