Karim Eldefrawy

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