Karim Eldefrawy

61 papers A* 10A 3B 4C 3Misc 3Journal 23Unranked 15

Year	Rank	Type	Title / 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