Zhengqin Luo

According to our database, Zhengqin Luo authored at least 9 papers between 2007 and 2016.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2016

Mashic compiler: Mashup sandboxing based on inter-frame communication.

Zhengqin Luo, José Fragoso Santos, Ana Almeida Matos, Tamara Rezk

J. Comput. Secur., 2016

2013

ZQL: A Compiler for Privacy-Preserving Data Processing.

Cédric Fournet, Markulf Kohlweiss, George Danezis, Zhengqin Luo

Proceedings of the 22th USENIX Security Symposium, Washington, DC, USA, August 14-16, 2013, 2013

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

Mashic Compiler: Mashup Sandboxing Based on Inter-frame Communication.

Zhengqin Luo, Tamara Rezk

Proceedings of the 25th IEEE Computer Security Foundations Symposium, 2012

2011

Automated Code Injection Prevention for Web Applications.

Zhengqin Luo, Tamara Rezk, Manuel Serrano

Proceedings of the Theory of Security and Applications - Joint Workshop, 2011

2010

Robustness Guarantees for Anonymity.

Gilles Barthe, Alejandro Hevia, Zhengqin Luo, Tamara Rezk, Bogdan Warinschi

Proceedings of the 23rd IEEE Computer Security Foundations Symposium, 2010

2008

On automatic verification of self-stabilizing population protocols.

Jun Pang, Zhengqin Luo, Yuxin Deng

Frontiers Comput. Sci. China, 2008

Computationally Sound Symbolic Analysis of Probabilistic Protocols with Ideal Setups.

Zhengqin Luo

Proceedings of the Provable Security, Second International Conference, 2008

2007

Analyzing an Electronic Cash Protocol Using Applied Pi Calculus.

Zhengqin Luo, Xiaojuan Cai, Jun Pang, Yuxin Deng

Proceedings of the Applied Cryptography and Network Security, 5th International Conference, 2007