Karim Eldefrawy

Publication Activity (10 Years)

Years Active: 2012-2024
Publications (10 Years): 56

Top Topics

Remote Attestation

Knapsack Problem

Temporal Consistency

Top Venues

IACR Cryptol. ePrint Arch.

Publications

Kelong Cong, Karim Eldefrawy, Nigel P. Smart, Ben Terner
The Key Lattice Framework for Concurrent Group Messaging. ACNS (2) (2024)
Karim Eldefrawy, Benjamin Terner, Moti Yung
Composing Timed Cryptographic Protocols: Foundations and Applications. IACR Cryptol. ePrint Arch. 2024 (2024)
Iness Ben Guirat, Claudia Díaz, Karim Eldefrawy, Hadas Zeilberger
Traffic Analysis by Adversaries with Partial Visibility. ESORICS (2) (2023)
Aysajan Abidin, Karim Eldefrawy, Dave Singelée
Entanglement-based Mutual Quantum Distance Bounding. CoRR (2023)
Karim Eldefrawy, Nicholas Genise, Nathan Manohar
On the Hardness of Scheme-Switching Between SIMD FHE Schemes. IACR Cryptol. ePrint Arch. 2023 (2023)
Karim Eldefrawy, Nicholas Genise, Nathan Manohar
On the Hardness of Scheme-Switching Between SIMD FHE Schemes. PQCrypto (2023)
Karim Eldefrawy, Sashidhar Jakkamsetti, Ben Terner, Moti Yung
Standard Model Time-Lock Puzzles: Defining Security and Constructing via Composition. IACR Cryptol. ePrint Arch. 2023 (2023)
Samuel Dittmer, Karim Eldefrawy, Stéphane Graham-Lengrand, Steve Lu, Rafail Ostrovsky, Vitor Pereira
Boosting the Performance of High-Assurance Cryptography: Parallel Execution and Optimizing Memory Access in Formally-Verified Line-Point Zero-Knowledge. IACR Cryptol. ePrint Arch. 2023 (2023)
Karim Eldefrawy, Nicholas Genise, Stanislaw Jarecki
Short Concurrent Covert Authenticated Key Exchange (Short cAKE). ASIACRYPT (8) (2023)
Samuel Dittmer, Karim Eldefrawy, Stéphane Graham-Lengrand, Steve Lu, Rafail Ostrovsky, Vitor Pereira
Boosting the Performance of High-Assurance Cryptography: Parallel Execution and Optimizing Memory Access in Formally-Verified Line-Point Zero-Knowledge. CCS (2023)
Karim Eldefrawy, Julian Loss, Ben Terner
How Byzantine is a Send Corruption? ACNS (2022)
Kelong Cong, Karim Eldefrawy, Nigel P. Smart, Ben Terner
The Key Lattice Framework for Concurrent Group Messaging. IACR Cryptol. ePrint Arch. 2022 (2022)
Karim Eldefrawy, Nicholas Genise, Rutuja Kshirsagar, Moti Yung
On Regenerating Codes and Proactive Secret Sharing: Relationships and Implications. IACR Cryptol. ePrint Arch. 2022 (2022)
Karim Eldefrawy, Tancrède Lepoint, Antonin Leroux
Communication-Efficient Proactive MPC for Dynamic Groups with Dishonest Majorities. ACNS (2022)
Karim Eldefrawy, Tancrède Lepoint, Laura Tam
In-App Cryptographically-Enforced Selective Access Control for Microsoft Office and Similar Platforms. CSCML (2022)
Nikola Samardzic, Axel Feldmann, Aleksandar Krastev, Nathan Manohar, Nicholas Genise, Srinivas Devadas, Karim Eldefrawy, Chris Peikert, Daniel Sánchez
CraterLake: a hardware accelerator for efficient unbounded computation on encrypted data. ISCA (2022)
Karim Eldefrawy, Nicholas Genise, Rutuja Kshirsagar, Moti Yung
On Regenerating Codes and Proactive Secret Sharing: Relationships and Implications. SSS (2021)
Karim Eldefrawy, Julian Loss, Ben Terner
How Byzantine is a Send Corruption? IACR Cryptol. ePrint Arch. 2021 (2021)
Kelong Cong, Karim Eldefrawy, Nigel P. Smart
Optimizing Registration Based Encryption. IMACC (2021)
Karim Eldefrawy, Tancrède Lepoint, Antonin Leroux
Communication-Efficient Proactive MPC for Dynamic Groups with Dishonest Majorities. IACR Cryptol. ePrint Arch. 2021 (2021)
Wim van Dam, Karim Eldefrawy, Nicholas Genise, Natalie Parham
Quantum Optimization Heuristics with an Application to Knapsack Problems. QCE (2021)
José Carlos Bacelar Almeida, Manuel Barbosa, Karim Eldefrawy, Stéphane Graham-Lengrand, Hugo Pacheco, Vitor Pereira
Machine-checked ZKP for NP-relations: Formally Verified Security Proofs and Implementations of MPC-in-the-Head. CoRR (2021)
Kelong Cong, Karim Eldefrawy, Nigel P. Smart
Optimizing Registration Based Encryption. IACR Cryptol. ePrint Arch. 2021 (2021)
Axel Feldmann, Nikola Samardzic, Aleksandar Krastev, Srini Devadas, Ronald G. Dreslinski, Karim Eldefrawy, Nicholas Genise, Chris Peikert, Daniel Sánchez
F1: A Fast and Programmable Accelerator for Fully Homomorphic Encryption (Extended Version). CoRR (2021)
José Bacelar Almeida, Manuel Barbosa, Manuel L. Correia, Karim Eldefrawy, Stéphane Graham-Lengrand, Hugo Pacheco, Vitor Pereira
Machine-checked ZKP for NP relations: Formally Verified Security Proofs and Implementations of MPC-in-the-Head. CCS (2021)
José Bacelar Almeida, Manuel Barbosa, Manuel L. Correia, Karim Eldefrawy, Stéphane Graham-Lengrand, Hugo Pacheco, Vitor Pereira
Machine-checked ZKP for NP-relations: Formally Verified Security Proofs and Implementations of MPC-in-the-Head. IACR Cryptol. ePrint Arch. 2021 (2021)
Ivan De Oliveira Nunes, Karim Eldefrawy, Norrathep Rattanavipanon, Gene Tsudik
APEX: A Verified Architecture for Proofs of Execution on Remote Devices under Full Software Compromise. USENIX Security Symposium (2020)
Karim Eldefrawy, Seoyeon Hwang, Rafail Ostrovsky, Moti Yung
Communication-Efficient (Proactive) Secure Computation for Dynamic General Adversary Structures and Dynamic Groups. SCN (2020)
Karim Eldefrawy, Michael Locasto, Norrathep Rattanavipanon, Hassen Saïdi
Towards Automated Augmentation and Instrumentation of Legacy Cryptographic Executables: Extended Version. CoRR (2020)
Karim Eldefrawy, Michael Locasto, Norrathep Rattanavipanon, Hassen Saïdi
Towards Automated Augmentation and Instrumentation of Legacy Cryptographic Executables. ACNS (2) (2020)
Karim Eldefrawy, Tancrède Lepoint, Antonin Leroux
Communication-Efficient Proactive Secret Sharing for Dynamic Groups with Dishonest Majorities. ACNS (1) (2020)
Karim Eldefrawy, Seoyeon Hwang, Rafail Ostrovsky, Moti Yung
Communication-Efficient (Proactive) Secure Computation for Dynamic General Adversary Structures and Dynamic Groups. IACR Cryptol. ePrint Arch. 2020 (2020)
Karim Eldefrawy, Vitor Pereira
A High-Assurance Evaluator for Machine-Checked Secure Multiparty Computation. CCS (2019)
Karim Eldefrawy, Ashish Gehani, Alexandre Matton
Longitudinal Analysis of Misuse of Bitcoin. ACNS (2019)
Karim Eldefrawy, Vitor Pereira
A High-Assurance, Automatically-Synthesized, Evaluator for Machine-Checked (Proactively) Secure Multi-Party Computation. IACR Cryptol. ePrint Arch. 2019 (2019)
Ivan De Oliveira Nunes, Karim Eldefrawy, Norrathep Rattanavipanon, Gene Tsudik
A Verified Architecture for Proofs of Execution on Remote Devices under Full Software Compromise. CoRR (2019)
Karim Eldefrawy, Gene Tsudik
Advancing remote attestation via computer-aided formal verification of designs and synthesis of executables: opinion. WiSec (2019)
Karim Eldefrawy, Tancrède Lepoint, Antonin Leroux
Communication-Efficient Proactive Secret Sharing for Dynamic Groups with Dishonest Majorities. IACR Cryptol. ePrint Arch. 2019 (2019)
Ivan De Oliveira Nunes, Karim Eldefrawy, Norrathep Rattanavipanon, Gene Tsudik
PURE: Using Verified Remote Attestation to Obtain Proofs of Update, Reset and Erasure in low-End Embedded Systems. ICCAD (2019)
Ivan De Oliveira Nunes, Karim Eldefrawy, Tancrède Lepoint
SNUSE: A secure computation approach for large-scale user re-enrollment in biometric authentication systems. Future Gener. Comput. Syst. 98 (2019)
Ivan De Oliveira Nunes, Karim Eldefrawy, Norrathep Rattanavipanon, Michael Steiner, Gene Tsudik
VRASED: A Verified Hardware/Software Co-Design for Remote Attestation. USENIX Security Symposium (2019)
Ivan De Oliveira Nunes, Karim Eldefrawy, Tancrède Lepoint
Secure Non-interactive User Re-enrollment in Biometrics-Based Identification and Authentication Systems. CSCML (2018)
Karim Eldefrawy, Rafail Ostrovsky, Moti Yung
Theoretical Foundations for Mobile Target Defense: Proactive Secret Sharing and Secure Multiparty Computation. From Database to Cyber Security (2018)
Xavier Carpent, Karim Eldefrawy, Norrathep Rattanavipanon, Ahmad-Reza Sadeghi, Gene Tsudik
Reconciling remote attestation and safety-critical operation on simple IoT devices. DAC (2018)
Xavier Carpent, Karim Eldefrawy, Norrathep Rattanavipanon, Gene Tsudik
Temporal Consistency of Integrity-Ensuring Computations and Applications to Embedded Systems Security. AsiaCCS (2018)
Karim Eldefrawy, Ivan Oliveira Nunes, Norrathep Rattanavipanon, Michael Steiner, Gene Tsudik
Formally Verified Hardware/Software Co-Design for Remote Attestation. CoRR (2018)
Karim Eldefrawy, Rafail Ostrovsky, Sunoo Park, Moti Yung
Proactive Secure Multiparty Computation with a Dishonest Majority. SCN (2018)
Tancrède Lepoint, Gabriela F. Ciocarlie, Karim Eldefrawy
BlockCIS - A Blockchain-Based Cyber Insurance System. IC2E (2018)
Karim Eldefrawy, Sky Faber, Tyler Kaczmarek
Proactively Secure Cloud-Enabled Storage. ICDCS (2017)
Karim Eldefrawy, Norrathep Rattanavipanon, Gene Tsudik
HYDRA: HYbrid Design for Remote Attestation (Using a Formally Verified Microkernel). CoRR (2017)
Karim Eldefrawy, Norrathep Rattanavipanon, Gene Tsudik
FUsing Hybrid Remote Attestation with a Formally Verified Microkernel: Lessons Learned. DSN Workshops (2017)
Shlomi Dolev, Karim Eldefrawy, Juan A. Garay, Muni Venkateswarlu Kumaramangalam, Rafail Ostrovsky, Moti Yung
Brief Announcement: Secure Self-Stabilizing Computation. PODC (2017)
Daniel Apon, Chongwon Cho, Karim Eldefrawy, Jonathan Katz
Efficient, Reusable Fuzzy Extractors from LWE. IACR Cryptol. ePrint Arch. 2017 (2017)
Daniel Apon, Chongwon Cho, Karim Eldefrawy, Jonathan Katz
Efficient, Reusable Fuzzy Extractors from LWE. CSCML (2017)
Karim Eldefrawy, Norrathep Rattanavipanon, Gene Tsudik
HYDRA: hybrid design for remote attestation (using a formally verified microkernel). WISEC (2017)
Shlomi Dolev, Karim Eldefrawy, Joshua Lampkins, Rafail Ostrovsky, Moti Yung
Brief Announcement: Proactive Secret Sharing with a Dishonest Majority. PODC (2016)
Karim Eldefrawy, Gene Tsudik, Aurélien Francillon, Daniele Perito
SMART: Secure and Minimal Architecture for (Establishing Dynamic) Root of Trust. NDSS (2012)