Proposal for a cross-layer coordination framework for next generation wireless systems. - Karim M. El Defrawy; Magda El Zarki; Mohamed M. Khairy (IWCMC, 2006)

Optimal Filtering for DDoS Attacks - Karim M. El Defrawy; Athina Markopoulou; Katerina J. Argyraki (CoRR, 2006)

Incentive-based cooperative and secure inter-personal networking. - Karim El Defrawy; Magda El Zarki; Gene Tsudik (MobiOpp@MobiSys, 2007)

BotTorrent: Misusing BitTorrent to Launch DDoS Attacks. - Karim El Defrawy; Minas Gjoka (SRUTI, 2007)

PRISM: Privacy-friendly routing in suspicious MANETs (and VANETs). - Karim M. El Defrawy; Gene Tsudik (ICNP, 2008)

Leveraging Social Contacts for Message Confidentiality in Delay Tolerant Networks. - Karim M. El Defrawy; John Solis; Gene Tsudik (COMPSAC (1), 2009)

Harvesting SSL Certificate Data to Mitigate Web-Fraud - Mishari Al Mishari; Emiliano De Cristofaro; Karim M. El Defrawy; Gene Tsudik (CoRR, 2009)

Attacks on physical-layer identification. - Boris Danev; Heinrich Luecken; Srdjan Capkun; Karim M. El Defrawy (WISEC, 2010)

GDB: Group Distance Bounding Protocols - Karim M. El Defrawy; Srdjan Capkun; Gene Tsudik (CoRR, 2010)

Group Distance Bounding Protocols - (Short Paper). - Srdjan Capkun; Karim M. El Defrawy; Gene Tsudik (TRUST, 2011)

Privacy-Preserving Location-Based On-Demand Routing in MANETs. - Karim M. El Defrawy; Gene Tsudik (IEEE J. Sel. Areas Commun., 2011)

ALARM: Anonymous Location-Aided Routing in Suspicious MANETs. - Karim M. El Defrawy; Gene Tsudik (IEEE Trans. Mob. Comput., 2011)

SMART: Secure and Minimal Architecture for (Establishing Dynamic) Root of Trust. - Karim Eldefrawy; Gene Tsudik; Aurélien Francillon; Daniele Perito (NDSS, 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)

Neighborhood watch: On network coding throughput and key sharing. - Martin Strohmeier; Ivan Martinovic; Utz Roedig; Karim El Defrawy; Jens B. Schmitt (GLOBECOM, 2013)

Blindfolded Data Search via Secure Pattern Matching. - Karim El Defrawy; Sky Faber (Computer, 2013)

How to Withstand Mobile Virus Attacks, Revisited. - Joshua Baron; Karim El Defrawy; Joshua Lampkins; Rafail Ostrovsky (IACR Cryptol. ePrint Arch., 2013)

5PM: Secure pattern matching. - Joshua Baron; Karim El Defrawy; Kirill Minkovich; Rafail Ostrovsky; Eric Tressler (J. Comput. Secur., 2013)

Agent societies and social networks for ubiquitous computing. - Seungmin Rho; Naveen K. Chilamkurti; Karim El Defrawy (Pers. Ubiquitous Comput., 2013)

Founding Digital Currency on Secure Computation. - Karim El Defrawy; Joshua Lampkins (CCS, 2014)

Disincentivizing/Incentivizing Malicious/Honest Behavior on the Internet via Privacy-Preserving Appcoins. - Karim El Defrawy; Joshua Lampkins (ICNP, 2014)

Communication-Optimal Proactive Secret Sharing for Dynamic Groups. - Joshua Baron; Karim El Defrawy; Joshua Lampkins; Rafail Ostrovsky (IACR Cryptol. ePrint Arch., 2015)

Byzantine Fault Tolerant Software-Defined Networking (SDN) Controllers. - Karim El Defrawy; Tyler Kaczmarek (COMPSAC Workshops, 2016)

Automated Inference of Dependencies of Network Services and Applications via Transfer Entropy. - Karim El Defrawy; Tiffany Kim; Pape M. Sylla (COMPSAC Workshops, 2016)

Brief Announcement: Proactive Secret Sharing with a Dishonest Majority. - Shlomi Dolev; Karim Eldefrawy; Joshua Lampkins; Rafail Ostrovsky; Moti Yung (PODC, 2016)

Proactive Secret Sharing with a Dishonest Majority. - Shlomi Dolev; Karim El Defrawy; Joshua Lampkins; Rafail Ostrovsky; Moti Yung (SCN, 2016)

Lightweight Swarm Attestation: A Tale of Two LISA-s. - Xavier Carpent; Karim El Defrawy; Norrathep Rattanavipanon; Gene Tsudik (AsiaCCS, 2017)

FUsing Hybrid Remote Attestation with a Formally Verified Microkernel: Lessons Learned. - Karim Eldefrawy; Norrathep Rattanavipanon; Gene Tsudik (DSN Workshops, 2017)

Proactively Secure Cloud-Enabled Storage. - Karim Eldefrawy; Sky Faber; Tyler Kaczmarek (ICDCS, 2017)

Brief Announcement: Secure Self-Stabilizing Computation. - Shlomi Dolev; Karim Eldefrawy; Juan A. Garay; Muni Venkateswarlu Kumaramangalam; Rafail Ostrovsky; Moti Yung (PODC, 2017)

HYDRA: hybrid design for remote attestation (using a formally verified microkernel). - Karim Eldefrawy; Norrathep Rattanavipanon; Gene Tsudik (WISEC, 2017)

Efficient, Reusable Fuzzy Extractors from LWE. - Daniel Apon; Chongwon Cho; Karim Eldefrawy; Jonathan Katz (IACR Cryptol. ePrint Arch., 2017)

Theoretical Foundations for Mobile Target Defense: Proactive Secret Sharing and Secure Multiparty Computation. - Karim Eldefrawy; Rafail Ostrovsky; Moti Yung (From Database to Cyber Security, 2018)

Temporal Consistency of Integrity-Ensuring Computations and Applications to Embedded Systems Security. - Xavier Carpent; Karim Eldefrawy; Norrathep Rattanavipanon; Gene Tsudik (AsiaCCS, 2018)

Secure Non-interactive User Re-enrollment in Biometrics-Based Identification and Authentication Systems. - Ivan De Oliveira Nunes; Karim Eldefrawy; Tancrède Lepoint (CSCML, 2018)

Reconciling remote attestation and safety-critical operation on simple IoT devices. - Xavier Carpent; Karim Eldefrawy; Norrathep Rattanavipanon; Ahmad-Reza Sadeghi; Gene Tsudik (DAC, 2018)

BlockCIS - A Blockchain-Based Cyber Insurance System. - Tancrède Lepoint; Gabriela F. Ciocarlie; Karim Eldefrawy (IC2E, 2018)

Proactive Secure Multiparty Computation with a Dishonest Majority. - Karim Eldefrawy; Rafail Ostrovsky; Sunoo Park; Moti Yung (SCN, 2018)

Formally Verified Hardware/Software Co-Design for Remote Attestation. - Karim Eldefrawy; Ivan Oliveira Nunes; Norrathep Rattanavipanon; Michael Steiner 001; Gene Tsudik (CoRR, 2018)

Longitudinal Analysis of Misuse of Bitcoin. - Karim Eldefrawy; Ashish Gehani; Alexandre Matton (ACNS, 2019)

A High-Assurance Evaluator for Machine-Checked Secure Multiparty Computation. - Karim Eldefrawy; Vitor Pereira 002 (CCS, 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 (ICCAD, 2019)

VRASED: A Verified Hardware/Software Co-Design for Remote Attestation. - Ivan De Oliveira Nunes; Karim Eldefrawy; Norrathep Rattanavipanon; Michael Steiner 001; Gene Tsudik (USENIX Security Symposium, 2019)

Advancing remote attestation via computer-aided formal verification of designs and synthesis of executables: opinion. - Karim Eldefrawy; Gene Tsudik (WiSec, 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)

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)

Communication-Efficient Proactive Secret Sharing for Dynamic Groups with Dishonest Majorities. - Karim Eldefrawy; Tancrède Lepoint; Antonin Leroux (IACR Cryptol. ePrint Arch., 2019)

A High-Assurance, Automatically-Synthesized, Evaluator for Machine-Checked (Proactively) Secure Multi-Party Computation. - Karim Eldefrawy; Vitor Pereira 002 (IACR Cryptol. ePrint Arch., 2019)

Towards Automated Augmentation and Instrumentation of Legacy Cryptographic Executables. - Karim Eldefrawy; Michael E. Locasto; Norrathep Rattanavipanon; Hassen Saïdi (ACNS (2), 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 (USENIX Security Symposium, 2020)

Towards Automated Augmentation and Instrumentation of Legacy Cryptographic Executables: Extended Version. - Karim Eldefrawy; Michael E. Locasto; Norrathep Rattanavipanon; Hassen Saïdi (CoRR, 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)

Quantum Optimization Heuristics with an Application to Knapsack Problems. - Wim van Dam; Karim Eldefrawy; Nicholas Genise; Natalie Parham (QCE, 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 001; Vitor Pereira 002 (CoRR, 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 003 (CoRR, 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 001; Vitor Pereira 002 (IACR Cryptol. ePrint Arch., 2021)

Optimizing Registration Based Encryption. - Kelong Cong; Karim Eldefrawy; Nigel P. Smart (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)

How Byzantine is a Send Corruption? - Karim Eldefrawy; Julian Loss; Ben Terner (IACR Cryptol. ePrint Arch., 2021)

In-App Cryptographically-Enforced Selective Access Control for Microsoft Office and Similar Platforms. - Karim Eldefrawy; Tancrède Lepoint; Laura Tam (CSCML, 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 003 (ISCA, 2022)

The Key Lattice Framework for Concurrent Group Messaging. - Kelong Cong; Karim Eldefrawy; Nigel P. Smart; Ben Terner (IACR Cryptol. ePrint Arch., 2022)

On Regenerating Codes and Proactive Secret Sharing: Relationships and Implications. - Karim Eldefrawy; Nicholas Genise; Rutuja Kshirsagar; Moti Yung (IACR Cryptol. ePrint Arch., 2022)

Short Concurrent Covert Authenticated Key Exchange (Short cAKE). - Karim Eldefrawy; Nicholas Genise; Stanislaw Jarecki (ASIACRYPT (8), 2023)

Traffic Analysis by Adversaries with Partial Visibility. - Iness Ben Guirat; Claudia Díaz; Karim Eldefrawy; Hadas Zeilberger (ESORICS (2), 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 001; Rafail Ostrovsky; Vitor Pereira 002 (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)

Standard Model Time-Lock Puzzles: Defining Security and Constructing via Composition. - Karim Eldefrawy; Sashidhar Jakkamsetti; Ben Terner; Moti Yung (IACR Cryptol. ePrint Arch., 2023)

Entanglement-Based Mutual Quantum Distance Bounding. - Aysajan Abidin; Karim Eldefrawy; Dave Singelée (CSCML, 2024)

Challenges in Timed-Cryptography: A Position Paper (Short Paper). - Karim Eldefrawy; Ben Terner; Moti Yung (CSCML, 2024)

Composing Timed Cryptographic Protocols: Foundations and Applications. - Karim Eldefrawy; Benjamin Terner; Moti Yung (IACR Cryptol. ePrint Arch., 2024)

Challenges in Timed Cryptography: A Position Paper. - Karim Eldefrawy; Benjamin Terner; Moti Yung (IACR Cryptol. ePrint Arch., 2024)