External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

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

Karim Eldefrawy, Norrathep Rattanavipanon, Gene Tsudik. FUsing Hybrid Remote Attestation with a Formally Verified Microkernel: Lessons Learned. In 47th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops, DSN Workshops 2017, Denver, CO, USA, June 26-29, 2017. pages 141-144, IEEE Computer Society, 2017. [doi]

Authors

Karim Eldefrawy

This author has not been identified. Look up 'Karim Eldefrawy' in Google

Norrathep Rattanavipanon

This author has not been identified. Look up 'Norrathep Rattanavipanon' in Google

Gene Tsudik

This author has not been identified. Look up 'Gene Tsudik' in Google
runs on