Dr
Behzad
Abdolmaleki
School of Computer Science
Lecturer in Cybersecurity
Admissions Tutor
behzad.abdolmaleki@sheffield.ac.uk
Regent Court (CS)
Full contact details
Dr Behzad Abdolmaleki
School of Computer Science
Regent Court (CS)
School of Computer Science
Regent Court (CS)
211 Portobello
Sheffield
S1 4DP
- Profile
-
I am an Assistant Professor in the Department of Computer Science and a member of the Security of Advanced Systems research group at the University of Sheffield, UK.
My research broadly focuses on the construction of cryptographic schemes in Post-Quantum and Quantum settings, as well as their intersections with other disciplines, including Zero-Knowledge proofs, Cryptocurrencies, and Secure, Transparent AI and ML systems.
- Publications
-
Journal articles
- A Lattice-based Designated Verifier zkSNARK from Standard Assumptions.. IACR Cryptol. ePrint Arch., 2025, 2099-2099.
- On the Simulation-Extractability of Proof-Carrying Data.. IACR Cryptol. ePrint Arch., 2025, 2037-2037.
- A Generic Framework for Practical Lattice-Based Non-interactive Publicly Verifiable Secret Sharing.. IACR Cryptol. ePrint Arch., 2025, 901-901.
- Universally Composable Password-Hardened Encryption.. IACR Cryptol. ePrint Arch., 2025, 1647-1647.
- Post-Quantum Access Control with Application to Secure Data Retrieval.. IACR Commun. Cryptol., 2, 20-20.
- Shuffle Arguments Based on Subset-Checking.. IACR Cryptol. ePrint Arch., 2024, 1056-1056.
- Post-Quantum Access Control with Application to Secure Data Retrieval.. IACR Cryptol. ePrint Arch., 2024, 1160-1160.
- Attribute-Based Threshold Issuance Anonymous Counting Tokens and Its Application to Sybil-Resistant Self-Sovereign Identity.. IACR Cryptol. ePrint Arch., 2024, 1024-1024.
- On Quantum Simulation-Soundness.. IACR Commun. Cryptol., 1, 18-18.
- Universally Composable NIZKs: Circuit-Succinct, Non-Malleable and CRS-Updatable.. IACR Cryptol. ePrint Arch., 2023, 97-97.
- stoRNA: Stateless Transparent Proofs of Storage-time.. IACR Cryptol. ePrint Arch., 2023, 515-515.
- CRS-Updatable Asymmetric Quasi-Adaptive NIZK Arguments.. IACR Cryptol. ePrint Arch., 2022, 1756-1756.
- Steganography-Free Zero-Knowledge.. IACR Cryptol. ePrint Arch., 2022, 1263-1263.
- Two-Round Concurrent 2PC from Sub-Exponential LWE.. IACR Cryptol. ePrint Arch., 2022, 1719-1719.
- On Subversion-Resistant SNARKs. Journal of Cryptology, 34(3).
- Updatable Trapdoor SPHFs: Modular Construction of Updatable Zero-Knowledge Arguments and More.. IACR Cryptol. ePrint Arch., 2021, 1360-1360.
- Smooth Zero-Knowledge Hash Functions.. IACR Cryptol. ePrint Arch., 2021, 653-653.
- Unbounded Simulation-Sound Subversion Resistant Quasi-Adaptive NIZK Proofs and Applications to Modular zk-SNARKs.. IACR Cryptol. ePrint Arch., 2020, 364-364.
- Lift-and-Shift: Obtaining Simulation Extractable Subversion and Updatable SNARKs Generically.. IACR Cryptol. ePrint Arch., 2020, 62-62.
- On Subversion-Resistant SNARKs.. IACR Cryptol. ePrint Arch., 2020, 668-668.
- A Framework for UC-Secure Commitments from Publicly Computable Smooth Projective Hashing.. IACR Cryptol. ePrint Arch., 2019, 1063-1063.
- Breaking Anonymity of Some Recent Lightweight RFID Authentication Protocols.. IACR Cryptol. ePrint Arch., 2019, 1125-1125.
- DL-Extractable UC-Commitment Schemes.. IACR Cryptol. ePrint Arch., 2019, 201-201.
- UC-Secure CRS Generation for SNARKs.. IACR Cryptol. ePrint Arch., 2019, 471-471.
- Breaking anonymity of some recent lightweight RFID authentication protocols. Wireless Networks, 25(3), 1235-1252.
- On QA-NIZK in the BPK Model.. IACR Cryptol. ePrint Arch., 2018, 877-877.
- Game-Based Privacy Analysis of RFID Security Schemes for Confident Authentication in IoT. Wireless Personal Communications, 95(4), 5057-5080.
- A Subversion-Resistant SNARK.. IACR Cryptol. ePrint Arch., 2017, 599-599.
- Game-Based Cryptanalysis of a Lightweight CRC-Based Authentication Protocol for EPC Tags.. IACR Cryptol. ePrint Arch., 2016, 387-387.
- Game-Based Privacy Analysis of RFID Security Schemes for Confident Au-thentication in IoT.. IACR Cryptol. ePrint Arch., 2016, 649-649.
- Traceability Analysis of Recent RFID Authentication Protocols. Wireless Personal Communications, 83(3), 1663-1682.
- Enhancing Privacy of Recent Authentication Schemes for Low-Cost RFID Systems. ISECURE-ISC INTERNATIONAL JOURNAL OF INFORMATION SECURITY, 7(2), 135-149.
- Analysis of an RFID Authentication Protocol in Accordance with EPC Standards.. IACR Cryptol. ePrint Arch., 2015, 980-980.
- VeriDP: Verifiable Differentially Private Training. Proceedings on Privacy Enhancing Technologies, 2026(3), 48-64.
- On Quantum Simulation-Soundness. IACR Communications in Cryptology, 1(4).
Book chapters
- Universally Composable Password-Hardened Encryption, Lecture Notes in Computer Science (pp. 235-267). Springer Nature Singapore
- A Practical Framework for Lattice-Based Non-interactive Publicly Verifiable Secret Sharing, Lecture Notes in Computer Science (pp. 107-142). Springer Nature Switzerland
- On the Simulation-Extractability of Proof-Carrying Data, Lecture Notes in Computer Science (pp. 269-302). Springer Nature Switzerland
- Shuffle arguments based on subset-checking In Galdi C & Phan DH (Ed.), Lecture Notes in Computer Science (pp. 345-366). Springer Nature Switzerland View this article in WRRO
- stoRNA: Stateless Transparent Proofs of Storage-time, Lecture Notes in Computer Science (pp. 389-410). Springer Nature Switzerland
- Two-round concurrent 2PC from sub-exponential LWE, Advances in Cryptology – ASIACRYPT 2023 (pp. 71-105). Springer Nature Singapore View this article in WRRO
Conference proceedings
- Low-Depth Construction of Grover Oracles from Fully Functional Quantum Circuits. 2026 International Conference on Quantum Communications, Networking, and Computing (QCNC) (pp 820-824), 6 April 2026 - 8 April 2026.
- Zero-Knowledge Proof of Progress: Secure Multi-Phase Capture-the-Flag Competitions. 2026 IEEE 39th Computer Security Foundations Symposium (CSF), Vol. 00 (pp 253-268)
- PGUS: Pretty Good User Security for Thick MVNOs with a Novel Sanitizable Blind Signature. 2025 IEEE Symposium on Security and Privacy (SP) (pp 1140-1158), 12 May 2025 - 15 May 2025.
- Strong privacy-preserving universally composable AKA protocol with seamless handover support for Mobile Virtual Network Operator. CCS '24: Proceedings of the 2024 on ACM SIGSAC Conference on Computer and Communications Security (pp 2057-2071). Salt Lake City, UT, USA, 14 October 2024 - 14 October 2024. View this article in WRRO
- Circuit-Succinct Universally-Composable NIZKs with Updatable CRS. 2024 IEEE 37th Computer Security Foundations Symposium (CSF) (pp 527-542), 8 July 2024 - 12 July 2024.
- Strong Privacy-Preserving Universally Composable AKA Protocol with Seamless Handover Support for Mobile Virtual Network Operator.. CCS (pp 2057-2071)
- CRS-Updatable Asymmetric Quasi-Adaptive NIZK Arguments (pp 3-25)
- Steganography-Free Zero-Knowledge (pp 143-172)
- Smooth Zero-Knowledge Hash Functions (pp 510-535)
- Subversion-Resistant Quasi-adaptive NIZK and Applications to Modular Zk-SNARKs (pp 492-512)
- Updatable Trapdoor SPHFs: Modular Construction of Updatable Zero-Knowledge Arguments and More (pp 46-67)
- Lift-and-Shift. Proceedings of the 2020 ACM SIGSAC Conference on Computer and Communications Security (pp 1987-2005)
- On QA-NIZK in the BPK Model (pp 590-620)
- A Framework for UC-Secure Commitments from Publicly Computable Smooth Projective Hashing (pp 1-21)
- UC-Secure CRS Generation for SNARKs (pp 99-117)
- DL-Extractable UC-Commitment Schemes (pp 385-405)
- An AKARI-based Secure Communication Scheme for EPC Tags. 2017 Advances in Wireless and Optical Communications (RTUWO) (pp 208-213), 2 November 2017 - 3 November 2017.
- A Subversion-Resistant SNARK (pp 3-33)
- Analysis of Xiao et al.'s authentication protocol conforming to EPC C1 G2 standard. 2016 8th International Symposium on Telecommunications (IST) (pp 111-116), 27 September 2016 - 28 September 2016.
- Securing key exchange and key agreement security schemes for RFID passive tags. 2016 24th Iranian Conference on Electrical Engineering (ICEE) (pp 1475-1480), 10 May 2016 - 12 May 2016.
- Cryptanalysis of two EPC-based RFID security schemes. 2015 12th International Iranian Society of Cryptology Conference on Information Security and Cryptology (ISCISC) (pp 116-121), 8 September 2015 - 10 September 2015.
- Untraceable RFID authentication protocols for EPC compliant tags. 2015 23rd Iranian Conference on Electrical Engineering (pp 426-431), 10 May 2015 - 14 May 2015.
- Enhancing achievable sum-rate by making strong and weak interference in an ad-hoc network. 7'th International Symposium on Telecommunications (IST'2014) (pp 1172-1177), 9 September 2014 - 11 September 2014.
- Attacks and improvements on two new-found RFID authentication protocols. 7'th International Symposium on Telecommunications (IST'2014) (pp 895-900), 9 September 2014 - 11 September 2014.
- Privacy analysis and improvements of two recent RFID authentication protocols. 2014 11th International ISC Conference on Information Security and Cryptology (pp 137-142), 3 September 2014 - 4 September 2014.
- Analysis of a novel audio hash function based upon stationary wavelet transform. 2012 6th International Conference on Application of Information and Communication Technologies (AICT) (pp 1-6), 17 October 2012 - 19 October 2012.
Preprints
- A Lattice-based Designated Verifier zkSNARK from Standard Assumptions.. IACR Cryptol. ePrint Arch., 2025, 2099-2099.
- Research group
-
Security of Advanced Systems research group
- Grants
-
- zkHealth: Zero Knowledge (Minimal-Disclosure) Verification for NHS Service Access, Innovate UK, 04/2026 - 05/2026, £27,996, as PI
- AEGIS - Auditable Eligibility Governance & Integrity Service, Innovate UK, 04/2026 - 07/2026, £15,443, as PI
- DIDShield: A Privacy-Centric Approach to Digital Wallet Security, Innovate UK, 04/2025 - 07/2025, £22,757, as PI