| 2026 | AsiaCCS | SoK: Understanding zkVM: From Research to Practice. | Guomin Yang, Yunbo Yang, Yuejia Cheng, Haibo Tang, Bingsheng Zhang, Kui Ren |
| 2025 | AAAI | On Probabilistic Truncation in Privacy-preserving Machine Learning. | Lijing Zhou, Bingsheng Zhang, Ziyu Wang, Tianpei Lu, Qingrui Song, Su Zhang, Hongrui Cui, Yu Yu |
| 2025 | ICCCN | Efficient Batch Opening Schemes for Merkle Tree Commitment with Applications to Trustless Cross-chain Bridge. | Bingsheng Zhang, Wuyunsiqin Wuyunsiqin, Xun Zhang, Markulf Kohlweiss, Kui Ren |
| 2025 | NDSS | A New PPML Paradigm for Quantized Models. | Tianpei Lu, Bingsheng Zhang, Xiaoyuan Zhang, Kui Ren |
| 2025 | PKC | Single-Input Functionality Against a Dishonest Majority: Practical and Round-Optimal. | Zhelei Zhou, Bingsheng Zhang, Hong-Sheng Zhou, Kui Ren |
| 2025 | SP | ZHE: Efficient Zero-Knowledge Proofs for HE Evaluations. | Zhelei Zhou, Yun Li, Yuchen Wang, Zhaomin Yang, Bingsheng Zhang, Cheng Hong, Tao Wei, Wenguang Chen |
| 2024 | ASIACRYPT | On the Complexity of Cryptographic Groups and Generic Group Models. | Keyu Ji, Cong Zhang, Taiyu Wang, Bingsheng Zhang, Hong-Sheng Zhou, Xin Wang, Kui Ren |
| 2023 | EuroCrypt | Endemic Oblivious Transfer via Random Oracles, Revisited. | Zhelei Zhou, Bingsheng Zhang, Hong-Sheng Zhou, Kui Ren |
| 2022 | ASIACRYPT | GUC-Secure Commitments via Random Oracles: New Impossibility and Feasibility. | Zhelei Zhou, Bingsheng Zhang, Hong-Sheng Zhou, Kui Ren |
| 2021 | ESORICS | Correlated Randomness Teleportation via Semi-trusted Hardware - Enabling Silent Multi-party Computation. | Yibiao Lu, Bingsheng Zhang, Hong-Sheng Zhou, Weiran Liu, Lei Zhang, Kui Ren |
| 2021 | ESORICS | Succinct Scriptable NIZK via Trusted Hardware. | Bingsheng Zhang, Yuan Chen, Jiaqi Li, Yajin Zhou, Phuc Thai, Hong-Sheng Zhou, Kui Ren |
| 2021 | ESORICS | Zero Knowledge Contingent Payments for Trained Neural Networks. | Zhelei Zhou, Xinle Cao, Jian Liu, Bingsheng Zhang, Kui Ren |
| 2020 | ASIACRYPT | Crowd Verifiable Zero-Knowledge and End-to-End Verifiable Multiparty Computation. | Foteini Baldimtsi, Aggelos Kiayias, Thomas Zacharias, Bingsheng Zhang |
| 2020 | IWQoS | Uncontrolled Randomness in Blockchains: Covert Bulletin Board for Illicit Activity. | Nasser Alsalami, Bingsheng Zhang |
| 2019 | FC | Statement Voting. | Bingsheng Zhang, Hong-Sheng Zhou |
| 2019 | NDSS | A Treasury System for Cryptocurrencies: Enabling Better Collaborative Intelligence. | Bingsheng Zhang, Roman Oliynykov, Hamed Balogun |
| 2018 | FC | Towards Everlasting Privacy and Efficient Coercion Resistance in Remote Electronic Voting. | Panagiotis Grontas, Aris Pagourtzis, Alexandros Zacharakis, Bingsheng Zhang |
| 2018 | ICDM | On the Sustainability of Blockchain Funding. | Bingsheng Zhang, Hamed Balogun |
| 2017 | PKC | Ceremonies for End-to-End Verifiable Elections. | Aggelos Kiayias, Thomas Zacharias, Bingsheng Zhang |
| 2017 | PODC | Brief Announcement: Statement Voting and Liquid Democracy. | Bingsheng Zhang, Hong-Sheng Zhou |
| 2016 | ASIACRYPT | Indistinguishable Proofs of Work or Knowledge. | Foteini Baldimtsi, Aggelos Kiayias, Thomas Zacharias, Bingsheng Zhang |
| 2016 | ICDCS | D-DEMOS: A Distributed, End-to-End Verifiable, Internet Voting System. | Nikos Chondros, Bingsheng Zhang, Thomas Zacharias, Panos Diamantopoulos, Stathis Maneas, Christos Patsonakis, Alex Delis, Aggelos Kiayias, Mema Roussopoulos |
| 2015 | CCS | DEMOS-2: Scalable E2E Verifiable Elections without Random Oracles. | Aggelos Kiayias, Thomas Zacharias, Bingsheng Zhang |
| 2015 | CVPR | A multiple server scheme for fingerprint fuzzy vaults. | Jesse Hartloff, Matthew Morse, Bingsheng Zhang, Thomas Effland, Jennifer Cordaro, Jim Schuler, Sergey Tulyakov, Atri Rudra, Venu Govindaraju |
| 2015 | EuroCrypt | End-to-End Verifiable Elections in the Standard Model. | Aggelos Kiayias, Thomas Zacharias, Bingsheng Zhang |
| 2014 | FC | Efficient Non-Interactive Zero Knowledge Arguments for Set Operations. | Prastudy Fauzi, Helger Lipmaa, Bingsheng Zhang |
| 2014 | INFOCOM | AcousAuth: An acoustic-based mobile application for user authentication. | Si Chen, Muyuan Li, Zhan Qin, Bingsheng Zhang, Kui Ren |
| 2014 | INFOCOM | A privacy-aware cloud-assisted healthcare monitoring system via compressive sensing. | Cong Wang, Bingsheng Zhang, Kui Ren, Janet Meiling Wang Roveda, Chang Wen Chen, Zhen Xu |
| 2014 | INFOCOM | SBVLC: Secure barcode-based visible light communication for smartphones. | Bingsheng Zhang, Kui Ren, Guoliang Xing, Xinwen Fu, Cong Wang |
| 2013 | CANS | Efficient Modular NIZK Arguments from Shift and Product. | Prastudy Fauzi, Helger Lipmaa, Bingsheng Zhang |
| 2013 | FC | Practical Fully Simulatable Oblivious Transfer with Sublinear Communication. | Bingsheng Zhang, Helger Lipmaa, Cong Wang, Kui Ren |
| 2012 | FC | A Non-interactive Range Proof with Constant Communication. | Rafik Chaabouni, Helger Lipmaa, Bingsheng Zhang |
| 2012 | SCN | A More Efficient Computationally Sound Non-Interactive Zero-Knowledge Shuffle Argument. | Helger Lipmaa, Bingsheng Zhang |
| 2011 | ProvSec | Simulatable Adaptive Oblivious Transfer with Statistical Receiver's Privacy. | Bingsheng Zhang |
| 2011 | ProvSec | Generic Constant-Round Oblivious Sorting Algorithm for MPC. | Bingsheng Zhang |
| 2010 | ACNS | Two New Efficient PIR-Writing Protocols. | Helger Lipmaa, Bingsheng Zhang |
| 2010 | INDOCRYPT | Algebraic, AIDA/Cube and Side Channel Analysis of KATAN Family of Block Ciphers. | Gregory V. Bard, Nicolas T. Courtois, Jorge Nakahara Jr., Pouyan Sepehrdad, Bingsheng Zhang |
| 2009 | CANS | Linear (Hull) and Algebraic Cryptanalysis of the Block Cipher PRESENT. | Jorge Nakahara Jr., Pouyan Sepehrdad, Bingsheng Zhang, Meiqin Wang |