Karim ElDefrawy

Identifiers

No identifiers captured yet.

Papers (2)

1. Formally Verified Hardware/Software Co-Design for Remote Attestation cs.CR · 2018 · author #2
2. HYDRA: HYbrid Design for Remote Attestation (Using a Formally Verified Microkernel) cs.CR · 2017 · author #1

Mentions

No mention provenance yet.

Frequent Coauthors

• Gene Tsudik 2 shared papers
• Norrathep Rattanavipanon 2 shared papers
• Ivan De Oliveira Nunes 1 shared papers
• Michael Steiner 1 shared papers