| 2024 | ACNS | The Key Lattice Framework for Concurrent Group Messaging. | Kelong Cong, Karim Eldefrawy, Nigel P. Smart, Ben Terner |
| 2023 | ASIACRYPT | Short Concurrent Covert Authenticated Key Exchange (Short cAKE). | Karim Eldefrawy, Nicholas Genise, Stanislaw Jarecki |
| 2023 | CCS | Boosting the Performance of High-Assurance Cryptography: Parallel Execution and Optimizing Memory Access in Formally-Verified Line-Point Zero-Knowledge. | Samuel Dittmer, Karim Eldefrawy, Stphane Graham-Lengrand, Steve Lu, Rafail Ostrovsky, Vitor Pereira |
| 2023 | ESORICS | Traffic Analysis by Adversaries with Partial Visibility. | Iness Ben Guirat, Claudia Daz, Karim Eldefrawy, Hadas Zeilberger |
| 2023 | PQCrypto | On the Hardness of Scheme-Switching Between SIMD FHE Schemes. | Karim Eldefrawy, Nicholas Genise, Nathan Manohar |
| 2022 | ACNS | Communication-Efficient Proactive MPC for Dynamic Groups with Dishonest Majorities. | Karim Eldefrawy, Tancrde Lepoint, Antonin Leroux |
| 2022 | ACNS | How Byzantine is a Send Corruption? | Karim Eldefrawy, Julian Loss, Ben Terner |
| 2022 | ISCA | 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 Snchez |
| 2021 | CCS | 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, Stphane Graham-Lengrand, Hugo Pacheco, Vitor Pereira |
| 2021 | QCE | Quantum Optimization Heuristics with an Application to Knapsack Problems. | Wim van Dam, Karim Eldefrawy, Nicholas Genise, Natalie Parham |
| 2021 | SSS | On Regenerating Codes and Proactive Secret Sharing: Relationships and Implications. | Karim Eldefrawy, Nicholas Genise, Rutuja Kshirsagar, Moti Yung |
| 2020 | ACNS | Communication-Efficient Proactive Secret Sharing for Dynamic Groups with Dishonest Majorities. | Karim Eldefrawy, Tancrde Lepoint, Antonin Leroux |
| 2020 | ACNS | Towards Automated Augmentation and Instrumentation of Legacy Cryptographic Executables. | Karim Eldefrawy, Michael E. Locasto, Norrathep Rattanavipanon, Hassen Sadi |
| 2020 | SCN | Communication-Efficient (Proactive) Secure Computation for Dynamic General Adversary Structures and Dynamic Groups. | Karim Eldefrawy, Seoyeon Hwang, Rafail Ostrovsky, Moti Yung |
| 2019 | ACNS | Longitudinal Analysis of Misuse of Bitcoin. | Karim Eldefrawy, Ashish Gehani, Alexandre Matton |
| 2019 | CCS | A High-Assurance Evaluator for Machine-Checked Secure Multiparty Computation. | Karim Eldefrawy, Vitor Pereira |
| 2019 | ICCAD | 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 |
| 2018 | CCS | Temporal Consistency of Integrity-Ensuring Computations and Applications to Embedded Systems Security. | Xavier Carpent, Karim Eldefrawy, Norrathep Rattanavipanon, Gene Tsudik |
| 2018 | DAC | Reconciling remote attestation and safety-critical operation on simple IoT devices. | Xavier Carpent, Karim Eldefrawy, Norrathep Rattanavipanon, Ahmad-Reza Sadeghi, Gene Tsudik |
| 2018 | IC2E | BlockCIS - A Blockchain-Based Cyber Insurance System. | Tancrde Lepoint, Gabriela F. Ciocarlie, Karim Eldefrawy |
| 2018 | SCN | Proactive Secure Multiparty Computation with a Dishonest Majority. | Karim Eldefrawy, Rafail Ostrovsky, Sunoo Park, Moti Yung |
| 2017 | DSN | FUsing Hybrid Remote Attestation with a Formally Verified Microkernel: Lessons Learned. | Karim Eldefrawy, Norrathep Rattanavipanon, Gene Tsudik |
| 2017 | ICDCS | Proactively Secure Cloud-Enabled Storage. | Karim Eldefrawy, Sky Faber, Tyler Kaczmarek |
| 2017 | PODC | Brief Announcement: Secure Self-Stabilizing Computation. | Shlomi Dolev, Karim Eldefrawy, Juan A. Garay, Muni Venkateswarlu Kumaramangalam, Rafail Ostrovsky, Moti Yung |
| 2016 | PODC | Brief Announcement: Proactive Secret Sharing with a Dishonest Majority. | Shlomi Dolev, Karim Eldefrawy, Joshua Lampkins, Rafail Ostrovsky, Moti Yung |
| 2012 | NDSS | SMART: Secure and Minimal Architecture for (Establishing Dynamic) Root of Trust. | Karim Eldefrawy, Gene Tsudik, Aurlien Francillon, Daniele Perito |