Zhengqin Luo

Publication Activity (10 Years)

Years Active: 2007-2016
Publications (10 Years): 1

Top Topics

Privacy Protection

Rapid Development

Web Applications

Top Venues

USENIX Security Symposium

J. Comput. Secur.

ACM Trans. Program. Lang. Syst.

Publications

Zhengqin Luo, José Fragoso Santos, Ana Almeida Matos, Tamara Rezk
Mashic compiler: Mashup sandboxing based on inter-frame communication. J. Comput. Secur. 24 (1) (2016)
Cédric Fournet, Markulf Kohlweiss, George Danezis, Zhengqin Luo
ZQL: A Compiler for Privacy-Preserving Data Processing. USENIX Security Symposium (2013)
Gérard Boudol, Zhengqin Luo, Tamara Rezk, Manuel Serrano
Reasoning about Web Applications: An Operational Semantics for HOP. ACM Trans. Program. Lang. Syst. 34 (2) (2012)
Zhengqin Luo, Tamara Rezk
Mashic Compiler: Mashup Sandboxing Based on Inter-frame Communication. CSF (2012)
Zhengqin Luo, Tamara Rezk, Manuel Serrano
Automated Code Injection Prevention for Web Applications. TOSCA (2011)
Gilles Barthe, Alejandro Hevia, Zhengqin Luo, Tamara Rezk, Bogdan Warinschi
Robustness Guarantees for Anonymity. CSF (2010)
Jun Pang, Zhengqin Luo, Yuxin Deng
On automatic verification of self-stabilizing population protocols. Frontiers Comput. Sci. China 2 (4) (2008)
Zhengqin Luo
Computationally Sound Symbolic Analysis of Probabilistic Protocols with Ideal Setups. ProvSec (2008)
Jun Pang, Zhengqin Luo, Yuxin Deng
On Automatic Verification of Self-Stabilizing Population Protocols. TASE (2008)
Zhengqin Luo, Xiaojuan Cai, Jun Pang, Yuxin Deng
Analyzing an Electronic Cash Protocol Using Applied Pi Calculus. ACNS (2007)