Privacy analysis and improvements of two recent RFID authentication protocols. - Karim Baghery; Behzad Abdolmaleki; Bahareh Akhbari; Mohammad Reza Aref (ISCISC, 2014)

Analysis of an RFID Authentication Protocol in Accordance with EPC Standards. - Behzad Abdolmaleki; Hamidreza Bakhshi; Karim Baghery; Mohammad Reza Aref (IACR Cryptol. ePrint Arch., 2015)

Enhancing privacy of recent authentication schemes for low-cost RFID systems. - Karim Baghery; Behzad Abdolmaleki; Bahareh Akhbari; Mohammad Reza Aref (ISC Int. J. Inf. Secur., 2015)

Traceability Analysis of Recent RFID Authentication Protocols. - Seyed Mohammad Alavi; Karim Baghery; Behzad Abdolmaleki; Mohammad Reza Aref (Wirel. Pers. Commun., 2015)

Analysis of Xiao et al.'s authentication protocol conforming to EPC C1 G2 standard. - Behzad Abdolmaleki; Karim Baghery; Bahareh Akhbari; Mohammad Reza Aref (IST, 2016)

Game-Based Privacy Analysis of RFID Security Schemes for Confident Au-thentication in IoT. - Behzad Abdolmaleki; Karim Baghery; Shahram Khazaei; Mohammad Reza Aref (IACR Cryptol. ePrint Arch., 2016)

Game-Based Cryptanalysis of a Lightweight CRC-Based Authentication Protocol for EPC Tags. - Karim Baghery; Behzad Abdolmaleki; Mohammad Javad Emadi (IACR Cryptol. ePrint Arch., 2016)

A Subversion-Resistant SNARK. - Behzad Abdolmaleki; Karim Baghery; Helger Lipmaa; Michal Zajac 001 (ASIACRYPT (3), 2017)

Game-Based Privacy Analysis of RFID Security Schemes for Confident Authentication in IoT. - Behzad Abdolmaleki; Karim Baghery; Shahram Khazaei; Mohammad Reza Aref (Wirel. Pers. Commun., 2017)

DL-Extractable UC-Commitment Schemes. - Behzad Abdolmaleki; Karim Baghery; Helger Lipmaa; Janno Siim; Michal Zajac 001 (ACNS, 2019)

UC-Secure CRS Generation for SNARKs. - Behzad Abdolmaleki; Karim Baghery; Helger Lipmaa; Janno Siim; Michal Zajac 001 (AFRICACRYPT, 2019)

On the Efficiency of Privacy-Preserving Smart Contract Systems. - Karim Baghery (AFRICACRYPT, 2019)

Simulation Extractability in Groth's zk-SNARK. - Shahla Atapoor; Karim Baghery (DPM/CBT@ESORICS, 2019)

Subversion-Resistant Simulation (Knowledge) Sound NIZKs. - Karim Baghery (IMACC, 2019)

Breaking anonymity of some recent lightweight RFID authentication protocols. - Karim Baghery; Behzad Abdolmaleki; Shahram Khazaei; Mohammad Reza Aref (Wirel. Networks, 2019)

Signatures of Knowledge for Boolean Circuits Under Standard Assumptions. - Karim Baghery; Alonso González; Zaira Pindado; Carla Ràfols (AFRICACRYPT, 2020)

Simulation Extractable Versions of Groth's zk-SNARK Revisited. - Karim Baghery; Zaira Pindado; Carla Ràfols (CANS, 2020)

Subversion-Resistant Commitment Schemes: Definitions and Constructions. - Karim Baghery (STM, 2020)

Signatures of Knowledge for Boolean Circuits under Standard Assumptions (Full version). - Karim Baghery; Alonso González; Zaira Pindado; Carla Ràfols (IACR Cryptol. ePrint Arch., 2020)

Tiramisu: Black-Box Simulation Extractable NIZKs in the Updatable CRS Model. - Karim Baghery; Mahdi Sedaghat (CANS, 2021)

Compilation of Function Representations for Secure Computing Paradigms. - Karim Baghery; Cyprien Delpech de Saint Guilhem; Emmanuela Orsini; Nigel P. Smart; Titouan Tanguy (CT-RSA, 2021)

Another Look at Extraction and Randomization of Groth's zk-SNARK. - Karim Baghery; Markulf Kohlweiss; Janno Siim; Mikhail Volkhov (Financial Cryptography (1), 2021)

An Isogeny-Based ID Protocol Using Structured Public Keys. - Karim Baghery; Daniele Cozzo; Robi Pedersen (IMACC, 2021)

Updatable NIZKs from Non-Interactive Zaps. - Karim Baghery; Navid Ghaedi Bardeh (CANS, 2022)

CSI-SharK: CSI-FiSh with Sharing-friendly Keys. - Shahla Atapoor; Karim Baghery; Daniele Cozzo; Robi Pedersen (ACISP, 2023)

Practical Robust DKG Protocols for CSIDH. - Shahla Atapoor; Karim Baghery; Daniele Cozzo; Robi Pedersen (ACNS, 2023)

VSS from Distributed ZK Proofs and Applications. - Shahla Atapoor; Karim Baghery; Daniele Cozzo; Robi Pedersen (ASIACRYPT (1), 2023)

Benchmarking the Setup of Updatable Zk-SNARKs. - Karim Baghery; Axel Mertens; Mahdi Sedaghat (LATINCRYPT, 2023)

Π: A Unified Framework for Verifiable Secret Sharing. - Karim Baghery (IACR Cryptol. ePrint Arch., 2023)

Verifiable FHE via Lattice-based SNARKs. - Shahla Atapoor; Karim Baghery; Hilder V. L. Pereira; Jannik Spiessens (IACR Commun. Cryptol., 2024)

Simulation extractable versions of Groth's zk-SNARK revisited. - Oussama Amine; Karim Baghery; Zaira Pindado; Carla Ràfols (Int. J. Inf. Sec., 2024)

Pre-constructed Publicly Verifiable Secret Sharing and Applications. - Karim Baghery; Noah Knapen; Georgio Nicolas; Mahdi Rahimi 003 (ACNS (1), 2025)

Π: A Unified Framework for Computational Verifiable Secret Sharing. - Karim Baghery (PKC (4), 2025)

On Round-Optimal Computational VSS. - Karim Baghery; Navid Ghaedi Bardeh; Shahram Khazaei; Mahdi Rahimi 003 (IACR Commun. Cryptol., 2025)

Traceable Verifiable Secret Sharing and Applications. - Karim Baghery; Ehsan Ebrahimi 001; Omid Mirzamohammadi; Mahdi Sedaghat (IACR Cryptol. ePrint Arch., 2025)