Analyzing an Electronic Cash Protocol Using Applied Pi Calculus. - Zhengqin Luo; Xiaojuan Cai; Jun Pang 001; Yuxin Deng (ACNS, 2007)

Computationally Sound Symbolic Analysis of Probabilistic Protocols with Ideal Setups. - Zhengqin Luo (ProvSec, 2008)

On automatic verification of self-stabilizing population protocols. - Jun Pang 001; Zhengqin Luo; Yuxin Deng (Frontiers Comput. Sci. China, 2008)

Robustness Guarantees for Anonymity. - Gilles Barthe; Alejandro Hevia; Zhengqin Luo; Tamara Rezk; Bogdan Warinschi (CSF, 2010)

Automated Code Injection Prevention for Web Applications. - Zhengqin Luo; Tamara Rezk; Manuel Serrano (TOSCA, 2011)

Mashic Compiler: Mashup Sandboxing Based on Inter-frame Communication. - Zhengqin Luo; Tamara Rezk (CSF, 2012)

Reasoning about Web Applications: An Operational Semantics for HOP. - Gérard Boudol; Zhengqin Luo; Tamara Rezk; Manuel Serrano (ACM Trans. Program. Lang. Syst., 2012)

ZQL: A Compiler for Privacy-Preserving Data Processing. - Cédric Fournet; Markulf Kohlweiss; George Danezis; Zhengqin Luo (USENIX Security Symposium, 2013)

Mashic compiler: Mashup sandboxing based on inter-frame communication. - Zhengqin Luo; José Fragoso Santos; Ana Almeida Matos; Tamara Rezk (J. Comput. Secur., 2016)