6 citations · 15 across the 6 of their papers we have counts for
7 papers
Machine-checked ZKP for NP-relations: Formally Verified Security Proofs and Implementations of MPC-in-the-Head
José Carlos Bacelar Almeida, Manuel Barbosa, Karim Eldefrawy +3
MPC-in-the-Head (MitH) is a general framework that allows constructing efficient Zero Knowledge protocols for general NP-relations from secure multiparty computation (MPC) protocol…
A Verified Architecture for Proofs of Execution on Remote Devices under Full Software Compromise
Ivan De Oliveira Nunes, Karim Eldefrawy, Norrathep Rattanavipanon +1
Modern society is increasingly surrounded by, and accustomed to, a wide range of Cyber-Physical Systems (CPS), Internet-of-Things (IoT), and smart devices. They often perform safet…
Formally Verified Hardware/Software Co-Design for Remote Attestation
Ivan De Oliveira Nunes, Karim Eldefrawy, Norrathep Rattanavipanon +2
In this work, we take the first step towards formal verification of Remote Attestation (RA) by designing and verifying an architecture called VRASED: Verifiable Remote Attestation…
HYDRA: HYbrid Design for Remote Attestation (Using a Formally Verified Microkernel)
Karim ElDefrawy, Norrathep Rattanavipanon, Gene Tsudik
Remote Attestation (RA) allows a trusted entity (verifier) to securely measure internal state of a remote untrusted hardware platform (prover). RA can be used to establish a static…
GDB: Group Distance Bounding Protocols
Karim El Defrawy, Srdjan Capkun, Gene Tsudik
Secure distance bounding (DB) protocols allow one entity, the verifier, to securely obtain an upper-bound on the distance to another entity, the prover. Thus far, DB was considered…
Harvesting SSL Certificate Data to Identify Web-Fraud
Mishari Al Mishari, Emiliano De Cristofaro, Karim El Defrawy +1
Web-fraud is one of the most unpleasant features of today's Internet. Two well-known examples of fraudulent activities on the web are phishing and typosquatting. Their effects rang…