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

Karim Eldefrawy, Norrathep Rattanavipanon, Gene Tsudik

Browse the full DSN paper archive.