Karim Baghery

Publication Activity (10 Years)

Years Active: 2014-2024
Publications (10 Years): 47

Top Topics

Computing Paradigms

Top Venues

IACR Cryptol. ePrint Arch.

Wirel. Pers. Commun.

Publications

Shahla Atapoor, Karim Baghery, Hilder V. L. Pereira, Jannik Spiessens
Verifiable FHE via Lattice-based SNARKs. IACR Cryptol. ePrint Arch. 2024 (2024)
Shahla Atapoor, Karim Baghery, Hilder V. L. Pereira, Jannik Spiessens
Verifiable FHE via Lattice-based SNARKs. IACR Commun. Cryptol. 1 (1) (2024)
Oussama Amine, Karim Baghery, Zaira Pindado, Carla Ràfols
Simulation extractable versions of Groth's zk-SNARK revisited. Int. J. Inf. Sec. 23 (1) (2024)
Shahla Atapoor, Karim Baghery, Daniele Cozzo, Robi Pedersen
VSS from Distributed ZK Proofs and Applications. IACR Cryptol. ePrint Arch. 2023 (2023)
Karim Baghery, Axel Mertens, Mahdi Sedaghat
Benchmarking the Setup of Updatable Zk-SNARKs. LATINCRYPT (2023)
Shahla Atapoor, Karim Baghery, Daniele Cozzo, Robi Pedersen
Practical Robust DKG Protocols for CSIDH. IACR Cryptol. ePrint Arch. 2023 (2023)
Karim Baghery
Π: A Unified Framework for Verifiable Secret Sharing. IACR Cryptol. ePrint Arch. 2023 (2023)
Shahla Atapoor, Karim Baghery, Daniele Cozzo, Robi Pedersen
VSS from Distributed ZK Proofs and Applications. ASIACRYPT (1) (2023)
Karim Baghery, Axel Mertens, Mahdi Sedaghat
Benchmarking the Setup of Updatable zk-SNARKs. IACR Cryptol. ePrint Arch. 2023 (2023)
Shahla Atapoor, Karim Baghery, Daniele Cozzo, Robi Pedersen
CSI-SharK: CSI-FiSh with Sharing-friendly Keys. ACISP (2023)
Shahla Atapoor, Karim Baghery, Daniele Cozzo, Robi Pedersen
Practical Robust DKG Protocols for CSIDH. ACNS (2023)
Karim Baghery, Navid Ghaedi Bardeh
Updatable NIZKs from Non-Interactive Zaps. CANS (2022)
Karim Baghery, Alonso González, Zaira Pindado, Carla Ràfols
Signatures of knowledge for Boolean circuits under standard assumptions. Theor. Comput. Sci. 916 (2022)
Karim Baghery, Navid Ghaedi Bardeh
Updatable NIZKs from Non-Interactive Zaps. IACR Cryptol. ePrint Arch. 2022 (2022)
Shahla Atapoor, Karim Baghery, Daniele Cozzo, Robi Pedersen
CSI-SharK: CSI-FiSh with Sharing-friendly Keys. IACR Cryptol. ePrint Arch. 2022 (2022)
Karim Baghery, Markulf Kohlweiss, Janno Siim, Mikhail Volkhov
Another Look at Extraction and Randomization of Groth's zk-SNARK. Financial Cryptography (1) (2021)
Karim Baghery, Cyprien Delpech de Saint Guilhem, Emmanuela Orsini, Nigel P. Smart, Titouan Tanguy
Compilation of Function Representations for Secure Computing Paradigms. IACR Cryptol. ePrint Arch. 2021 (2021)
Karim Baghery, Daniele Cozzo, Robi Pedersen
An Isogeny-Based ID Protocol Using Structured Public Keys. IACR Cryptol. ePrint Arch. 2021 (2021)
Karim Baghery, Cyprien Delpech de Saint Guilhem, Emmanuela Orsini, Nigel P. Smart, Titouan Tanguy
Compilation of Function Representations for Secure Computing Paradigms. CT-RSA (2021)
Karim Baghery, Mahdi Sedaghat
Tiramisu: Black-Box Simulation Extractable NIZKs in the Updatable CRS Model. CANS (2021)
Karim Baghery, Daniele Cozzo, Robi Pedersen
An Isogeny-Based ID Protocol Using Structured Public Keys. IMACC (2021)
Karim Baghery, Alonso González, Zaira Pindado, Carla Ràfols
Signatures of Knowledge for Boolean Circuits Under Standard Assumptions. AFRICACRYPT (2020)
Karim Baghery, Zaira Pindado, Carla Ràfols
Simulation Extractable Versions of Groth's zk-SNARK Revisited. CANS (2020)
Karim Baghery, Alonso González, Zaira Pindado, Carla Ràfols
Signatures of Knowledge for Boolean Circuits under Standard Assumptions. IACR Cryptol. ePrint Arch. 2020 (2020)
Karim Baghery, Zaira Pindado, Carla Ràfols
Simulation Extractable Versions of Groth's zk-SNARK Revisited. IACR Cryptol. ePrint Arch. 2020 (2020)
Karim Baghery
Subversion-Resistant Commitment Schemes: Definitions and Constructions. STM (2020)
Karim Baghery, Mahdi Sedaghat
Tiramisu: Black-Box Simulation Extractable NIZKs in the Updatable CRS Model. IACR Cryptol. ePrint Arch. 2020 (2020)
Karim Baghery, Alonso González, Zaira Pindado, Carla Ràfols
Signatures of Knowledge for Boolean Circuits under Standard Assumptions (Full version). IACR Cryptol. ePrint Arch. 2020 (2020)
Shahla Atapoor, Karim Baghery
Simulation Extractability in Groth's zk-SNARK. DPM/CBT@ESORICS (2019)
Karim Baghery
Subversion-Resistant Simulation (Knowledge) Sound NIZKs. IMACC (2019)
Behzad Abdolmaleki, Karim Baghery, Helger Lipmaa, Janno Siim, Michal Zajac
UC-Secure CRS Generation for SNARKs. IACR Cryptol. ePrint Arch. 2019 (2019)
Karim Baghery
Subversion-Resistant Commitment Schemes: Definitions and Constructions. IACR Cryptol. ePrint Arch. 2019 (2019)
Behzad Abdolmaleki, Karim Baghery, Helger Lipmaa, Janno Siim, Michal Zajac
DL-Extractable UC-Commitment Schemes. ACNS (2019)
Karim Baghery, Behzad Abdolmaleki, Shahram Khazaei, Mohammad Reza Aref
Breaking anonymity of some recent lightweight RFID authentication protocols. Wirel. Networks 25 (3) (2019)
Karim Baghery, Behzad Abdolmaleki, Shahram Khazaei, Mohammad Reza Aref
Breaking Anonymity of Some Recent Lightweight RFID Authentication Protocols. IACR Cryptol. ePrint Arch. 2019 (2019)
Karim Baghery
Subversion-Resistant Simulation (Knowledge) Sound NIZKs. IACR Cryptol. ePrint Arch. 2019 (2019)
Karim Baghery
On the Efficiency of Privacy-Preserving Smart Contract Systems. AFRICACRYPT (2019)
Behzad Abdolmaleki, Karim Baghery, Helger Lipmaa, Janno Siim, Michal Zajac
UC-Secure CRS Generation for SNARKs. AFRICACRYPT (2019)
Shahla Atapoor, Karim Baghery
Simulation Extractability in Groth's zk-SNARK. IACR Cryptol. ePrint Arch. 2019 (2019)
Behzad Abdolmaleki, Karim Baghery, Helger Lipmaa, Janno Siim, Michal Zajac
DL-Extractable UC-Commitment Schemes. IACR Cryptol. ePrint Arch. 2019 (2019)
Karim Baghery
On the Efficiency of Privacy-Preserving Smart Contract Systems. IACR Cryptol. ePrint Arch. 2019 (2019)
Behzad Abdolmaleki, Karim Baghery, Helger Lipmaa, Michal Zajac
A Subversion-Resistant SNARK. ASIACRYPT (3) (2017)
Behzad Abdolmaleki, Karim Baghery, Helger Lipmaa, Michal Zajac
A Subversion-Resistant SNARK. IACR Cryptol. ePrint Arch. 2017 (2017)
Behzad Abdolmaleki, Karim Baghery, Shahram Khazaei, Mohammad Reza Aref
Game-Based Privacy Analysis of RFID Security Schemes for Confident Authentication in IoT. Wirel. Pers. Commun. 95 (4) (2017)
Behzad Abdolmaleki, Karim Baghery, Shahram Khazaei, Mohammad Reza Aref
Game-Based Privacy Analysis of RFID Security Schemes for Confident Au-thentication in IoT. IACR Cryptol. ePrint Arch. 2016 (2016)
Behzad Abdolmaleki, Karim Baghery, Bahareh Akhbari, Mohammad Reza Aref
Analysis of Xiao et al.'s authentication protocol conforming to EPC C1 G2 standard. IST (2016)
Karim Baghery, Behzad Abdolmaleki, Mohammad Javad Emadi
Game-Based Cryptanalysis of a Lightweight CRC-Based Authentication Protocol for EPC Tags. IACR Cryptol. ePrint Arch. 2016 (2016)
Karim Baghery, Behzad Abdolmaleki, Bahareh Akhbari, Mohammad Reza Aref
Enhancing privacy of recent authentication schemes for low-cost RFID systems. ISC Int. J. Inf. Secur. 7 (2) (2015)
Behzad Abdolmaleki, Hamidreza Bakhshi, Karim Baghery, Mohammad Reza Aref
Analysis of an RFID Authentication Protocol in Accordance with EPC Standards. IACR Cryptol. ePrint Arch. 2015 (2015)
Seyed Mohammad Alavi, Karim Baghery, Behzad Abdolmaleki, Mohammad Reza Aref
Traceability Analysis of Recent RFID Authentication Protocols. Wirel. Pers. Commun. 83 (3) (2015)
Karim Baghery, Behzad Abdolmaleki, Bahareh Akhbari, Mohammad Reza Aref
Privacy analysis and improvements of two recent RFID authentication protocols. ISCISC (2014)