Karim M. El Defrawy

According to our database, Karim M. El Defrawy authored at least 69 papers between 2006 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2023

Standard Model Time-Lock Puzzles: Defining Security and Constructing via Composition.

Karim Eldefrawy, Sashidhar Jakkamsetti, Ben Terner, Moti Yung

IACR Cryptol. ePrint Arch., 2023

On the Hardness of Scheme-Switching Between SIMD FHE Schemes.

Karim Eldefrawy, Nicholas Genise, Nathan Manohar

IACR Cryptol. ePrint Arch., 2023

Boosting the Performance of High-Assurance Cryptography: Parallel Execution and Optimizing Memory Access in Formally-Verified Line-Point Zero-Knowledge.

Samuel Dittmer, Karim Eldefrawy, Stéphane Graham-Lengrand, Steve Lu, Rafail Ostrovsky, Vitor Pereira

IACR Cryptol. ePrint Arch., 2023

Entanglement-based Mutual Quantum Distance Bounding.

Aysajan Abidin, Karim Eldefrawy, Dave Singelée

CoRR, 2023

Traffic Analysis by Adversaries with Partial Visibility.

Iness Ben Guirat, Claudia Díaz, Karim Eldefrawy, Hadas Zeilberger

Proceedings of the Computer Security - ESORICS 2023, 2023

Short Concurrent Covert Authenticated Key Exchange (Short cAKE).

Karim Eldefrawy, Nicholas Genise, Stanislaw Jarecki

Proceedings of the Advances in Cryptology - ASIACRYPT 2023, 2023

2022

On Regenerating Codes and Proactive Secret Sharing: Relationships and Implications.

Karim Eldefrawy, Nicholas Genise, Rutuja Kshirsagar, Moti Yung

IACR Cryptol. ePrint Arch., 2022

The Key Lattice Framework for Concurrent Group Messaging.

Kelong Cong, Karim Eldefrawy, Nigel P. Smart, Ben Terner

IACR Cryptol. ePrint Arch., 2022

CraterLake: a hardware accelerator for efficient unbounded computation on encrypted data.

Nikola Samardzic, Axel Feldmann, Aleksandar Krastev, Nathan Manohar, Nicholas Genise, Srinivas Devadas, Karim Eldefrawy, Chris Peikert, Daniel Sánchez

Proceedings of the ISCA '22: The 49th Annual International Symposium on Computer Architecture, New York, New York, USA, June 18, 2022

In-App Cryptographically-Enforced Selective Access Control for Microsoft Office and Similar Platforms.

Karim Eldefrawy, Tancrède Lepoint, Laura Tam

Proceedings of the Cyber Security, Cryptology, and Machine Learning, 2022

2021

How Byzantine is a Send Corruption?

Karim Eldefrawy, Julian Loss, Ben Terner

IACR Cryptol. ePrint Arch., 2021

Communication-Efficient Proactive MPC for Dynamic Groups with Dishonest Majorities.

Karim Eldefrawy, Tancrède Lepoint, Antonin Leroux

IACR Cryptol. ePrint Arch., 2021

Optimizing Registration Based Encryption.

Kelong Cong, Karim Eldefrawy, Nigel P. Smart

IACR Cryptol. ePrint Arch., 2021

Machine-checked ZKP for NP-relations: Formally Verified Security Proofs and Implementations of MPC-in-the-Head.

José Bacelar Almeida, Manuel Barbosa, Manuel L. Correia, Karim Eldefrawy, Stéphane Graham-Lengrand, Hugo Pacheco, Vitor Pereira

IACR Cryptol. ePrint Arch., 2021

F1: A Fast and Programmable Accelerator for Fully Homomorphic Encryption (Extended Version).

Axel Feldmann, Nikola Samardzic, Aleksandar Krastev, Srini Devadas, Ronald G. Dreslinski, Karim Eldefrawy, Nicholas Genise, Chris Peikert, Daniel Sánchez

CoRR, 2021

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, Stéphane Graham-Lengrand, Hugo Pacheco, Vitor Pereira

CoRR, 2021

Quantum Optimization Heuristics with an Application to Knapsack Problems.

Wim van Dam, Karim Eldefrawy, Nicholas Genise, Natalie Parham

Proceedings of the IEEE International Conference on Quantum Computing and Engineering, 2021

2020

Communication-Efficient (Proactive) Secure Computation for Dynamic General Adversary Structures and Dynamic Groups.

Karim Eldefrawy, Seoyeon Hwang, Rafail Ostrovsky, Moti Yung

IACR Cryptol. ePrint Arch., 2020

Towards Automated Augmentation and Instrumentation of Legacy Cryptographic Executables: Extended Version.

Karim Eldefrawy, Michael Locasto, Norrathep Rattanavipanon, Hassen Saïdi

CoRR, 2020

APEX: A Verified Architecture for Proofs of Execution on Remote Devices under Full Software Compromise.

Ivan De Oliveira Nunes, Karim Eldefrawy, Norrathep Rattanavipanon, Gene Tsudik

Proceedings of the 29th USENIX Security Symposium, 2020

Towards Automated Augmentation and Instrumentation of Legacy Cryptographic Executables.

Karim Eldefrawy, Michael Locasto, Norrathep Rattanavipanon, Hassen Saïdi

Proceedings of the Applied Cryptography and Network Security, 2020

2019

A High-Assurance, Automatically-Synthesized, Evaluator for Machine-Checked (Proactively) Secure Multi-Party Computation.

Karim Eldefrawy, Vitor Pereira

IACR Cryptol. ePrint Arch., 2019

Communication-Efficient Proactive Secret Sharing for Dynamic Groups with Dishonest Majorities.

Karim Eldefrawy, Tancrède Lepoint, Antonin Leroux

IACR Cryptol. ePrint Arch., 2019

SNUSE: A secure computation approach for large-scale user re-enrollment in biometric authentication systems.

Ivan De Oliveira Nunes, Karim Eldefrawy, Tancrède Lepoint

Future Gener. Comput. Syst., 2019

A Verified Architecture for Proofs of Execution on Remote Devices under Full Software Compromise.

Ivan De Oliveira Nunes, Karim Eldefrawy, Norrathep Rattanavipanon, Gene Tsudik

CoRR, 2019

Advancing remote attestation via computer-aided formal verification of designs and synthesis of executables: opinion.

Karim Eldefrawy, Gene Tsudik

Proceedings of the 12th Conference on Security and Privacy in Wireless and Mobile Networks, 2019

VRASED: A Verified Hardware/Software Co-Design for Remote Attestation.

Ivan De Oliveira Nunes, Karim Eldefrawy, Norrathep Rattanavipanon, Michael Steiner, Gene Tsudik

Proceedings of the 28th USENIX Security Symposium, 2019

PURE: Using Verified Remote Attestation to Obtain Proofs of Update, Reset and Erasure in low-End Embedded Systems.

Ivan De Oliveira Nunes, Karim Eldefrawy, Norrathep Rattanavipanon, Gene Tsudik

Proceedings of the International Conference on Computer-Aided Design, 2019

A High-Assurance Evaluator for Machine-Checked Secure Multiparty Computation.

Karim Eldefrawy, Vitor Pereira

Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications Security, 2019

Longitudinal Analysis of Misuse of Bitcoin.

Karim Eldefrawy, Ashish Gehani, Alexandre Matton

Proceedings of the Applied Cryptography and Network Security, 2019

2018

Formally Verified Hardware/Software Co-Design for Remote Attestation.

Karim Eldefrawy, Ivan Oliveira Nunes, Norrathep Rattanavipanon, Michael Steiner, Gene Tsudik

CoRR, 2018

Proactive Secure Multiparty Computation with a Dishonest Majority.

Karim Eldefrawy, Rafail Ostrovsky, Sunoo Park, Moti Yung

Proceedings of the Security and Cryptography for Networks - 11th International Conference, 2018

BlockCIS - A Blockchain-Based Cyber Insurance System.

Tancrède Lepoint, Gabriela F. Ciocarlie, Karim Eldefrawy

Proceedings of the 2018 IEEE International Conference on Cloud Engineering, 2018

Reconciling remote attestation and safety-critical operation on simple IoT devices.

Xavier Carpent, Karim Eldefrawy, Norrathep Rattanavipanon, Ahmad-Reza Sadeghi, Gene Tsudik

Proceedings of the 55th Annual Design Automation Conference, 2018

Secure Non-interactive User Re-enrollment in Biometrics-Based Identification and Authentication Systems.

Ivan De Oliveira Nunes, Karim Eldefrawy, Tancrède Lepoint

Proceedings of the Cyber Security Cryptography and Machine Learning, 2018

Temporal Consistency of Integrity-Ensuring Computations and Applications to Embedded Systems Security.

Xavier Carpent, Karim Eldefrawy, Norrathep Rattanavipanon, Gene Tsudik

Proceedings of the 2018 on Asia Conference on Computer and Communications Security, 2018

Theoretical Foundations for Mobile Target Defense: Proactive Secret Sharing and Secure Multiparty Computation.

Karim Eldefrawy, Rafail Ostrovsky, Moti Yung

Proceedings of the From Database to Cyber Security, 2018

2017

Efficient, Reusable Fuzzy Extractors from LWE.

Daniel Apon, Chongwon Cho, Karim Eldefrawy, Jonathan Katz

IACR Cryptol. ePrint Arch., 2017

HYDRA: hybrid design for remote attestation (using a formally verified microkernel).

Karim Eldefrawy, Norrathep Rattanavipanon, Gene Tsudik

Proceedings of the 10th ACM Conference on Security and Privacy in Wireless and Mobile Networks, 2017

Brief Announcement: Secure Self-Stabilizing Computation.

Shlomi Dolev, Karim Eldefrawy, Juan A. Garay, Muni Venkateswarlu Kumaramangalam, Rafail Ostrovsky, Moti Yung

Proceedings of the ACM Symposium on Principles of Distributed Computing, 2017

Proactively Secure Cloud-Enabled Storage.

Karim Eldefrawy, Sky Faber, Tyler Kaczmarek

Proceedings of the 37th IEEE International Conference on Distributed Computing Systems, 2017

FUsing Hybrid Remote Attestation with a Formally Verified Microkernel: Lessons Learned.

Karim Eldefrawy, Norrathep Rattanavipanon, Gene Tsudik

Proceedings of the 47th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops, 2017

Lightweight Swarm Attestation: A Tale of Two LISA-s.

Xavier Carpent, Karim El Defrawy, Norrathep Rattanavipanon, Gene Tsudik

Proceedings of the 2017 ACM on Asia Conference on Computer and Communications Security, 2017

2016

Proactive Secret Sharing with a Dishonest Majority.

Shlomi Dolev, Karim El Defrawy, Joshua Lampkins, Rafail Ostrovsky, Moti Yung

Proceedings of the Security and Cryptography for Networks - 10th International Conference, 2016

Brief Announcement: Proactive Secret Sharing with a Dishonest Majority.

Shlomi Dolev, Karim Eldefrawy, Joshua Lampkins, Rafail Ostrovsky, Moti Yung

Proceedings of the 2016 ACM Symposium on Principles of Distributed Computing, 2016

Automated Inference of Dependencies of Network Services and Applications via Transfer Entropy.

Karim El Defrawy, Tiffany Kim, Pape M. Sylla

Proceedings of the 40th IEEE Annual Computer Software and Applications Conference, 2016

Byzantine Fault Tolerant Software-Defined Networking (SDN) Controllers.

Karim El Defrawy, Tyler Kaczmarek

Proceedings of the 40th IEEE Annual Computer Software and Applications Conference, 2016

2015

Communication-Optimal Proactive Secret Sharing for Dynamic Groups.

Joshua Baron, Karim El Defrawy, Joshua Lampkins, Rafail Ostrovsky

IACR Cryptol. ePrint Arch., 2015

2014

Disincentivizing/Incentivizing Malicious/Honest Behavior on the Internet via Privacy-Preserving Appcoins.

Karim El Defrawy, Joshua Lampkins

Proceedings of the 22nd IEEE International Conference on Network Protocols, 2014

Founding Digital Currency on Secure Computation.

Karim El Defrawy, Joshua Lampkins

Proceedings of the 2014 ACM SIGSAC Conference on Computer and Communications Security, 2014

2013

Agent societies and social networks for ubiquitous computing.

Seungmin Rho, Naveen K. Chilamkurti, Karim El Defrawy

Pers. Ubiquitous Comput., 2013

How to Withstand Mobile Virus Attacks, Revisited.

Joshua Baron, Karim El Defrawy, Joshua Lampkins, Rafail Ostrovsky

IACR Cryptol. ePrint Arch., 2013

Blindfolded Data Search via Secure Pattern Matching.

Karim El Defrawy, Sky Faber

Computer, 2013

Neighborhood watch: On network coding throughput and key sharing.

Martin Strohmeier, Ivan Martinovic, Utz Roedig, Karim El Defrawy, Jens B. Schmitt

Proceedings of the 2013 IEEE Global Communications Conference, 2013

2012

Harvesting SSL Certificate Data to Identify Web-Fraud.

Mishari Al Mishari, Emiliano De Cristofaro, Karim M. El Defrawy, Gene Tsudik

Int. J. Netw. Secur., 2012

5PM: Secure Pattern Matching.

Joshua Baron, Karim El Defrawy, Kirill Minkovich, Rafail Ostrovsky, Eric Tressler

IACR Cryptol. ePrint Arch., 2012

SMART: Secure and Minimal Architecture for (Establishing Dynamic) Root of Trust.

Karim Eldefrawy, Gene Tsudik, Aurélien Francillon, Daniele Perito

Proceedings of the 19th Annual Network and Distributed System Security Symposium, 2012

2011

ALARM: Anonymous Location-Aided Routing in Suspicious MANETs.

Karim M. El Defrawy, Gene Tsudik

IEEE Trans. Mob. Comput., 2011

Privacy-Preserving Location-Based On-Demand Routing in MANETs.

Karim M. El Defrawy, Gene Tsudik

IEEE J. Sel. Areas Commun., 2011

Group Distance Bounding Protocols - (Short Paper).

Srdjan Capkun, Karim M. El Defrawy, Gene Tsudik

Proceedings of the Trust and Trustworthy Computing - 4th International Conference, 2011

2010

GDB: Group Distance Bounding Protocols

Karim M. El Defrawy, Srdjan Capkun, Gene Tsudik

CoRR, 2010

Attacks on physical-layer identification.

Boris Danev, Heinrich Luecken, Srdjan Capkun, Karim M. El Defrawy

Proceedings of the Third ACM Conference on Wireless Network Security, 2010

2009

Harvesting SSL Certificate Data to Mitigate Web-Fraud

Mishari Al Mishari, Emiliano De Cristofaro, Karim M. El Defrawy, Gene Tsudik

CoRR, 2009

Leveraging Social Contacts for Message Confidentiality in Delay Tolerant Networks.

Karim M. El Defrawy, John Solis, Gene Tsudik

Proceedings of the 33rd Annual IEEE International Computer Software and Applications Conference, 2009

2008

PRISM: Privacy-friendly routing in suspicious MANETs (and VANETs).

Karim M. El Defrawy, Gene Tsudik

Proceedings of the 16th annual IEEE International Conference on Network Protocols, 2008

2007

BotTorrent: Misusing BitTorrent to Launch DDoS Attacks.

Karim El Defrawy, Minas Gjoka

Proceedings of the 3rd Workshop on Steps to Reducing Unwanted Traffic on the Internet, 2007

Incentive-based cooperative and secure inter-personal networking.

Karim El Defrawy, Magda El Zarki, Gene Tsudik

Proceedings of the 1st international MobiSys workshop on Mobile opportunistic networking, 2007

2006

Optimal Filtering for DDoS Attacks

Karim M. El Defrawy, Athina Markopoulou, Katerina J. Argyraki

CoRR, 2006

Proposal for a cross-layer coordination framework for next generation wireless systems.

Karim M. El Defrawy, Magda El Zarki, Mohamed M. Khairy

Proceedings of the International Conference on Wireless Communications and Mobile Computing, 2006