Publications

Drafts in progess:

• Mashic: Automated Mashup Sandboxing based on Inter-frame Communication(pdf | bib | Mashic Project).
  Zhengqin Luo and Tamara Rezk.
  Work in progress.

Conference and workshop papers:

• Automated Code Injection Prevention for Web Applications (pdf | bib).
  Zhengqin Luo, Tamara Rezk, and Manuel Serrano.
  To appear in Theory of Security and Applications - TOSCA'11.


• Towards Reasoning for Web Applications: An Operational Semantics for Hop (pdf | bib).
  (A draft of long version, submitted to a journal).
  Gerard Boudol, Zhengqin Luo, Tamara Rezk, and Manuel Serrano.
  Workshop on Analysis and Programming Languages for Web Applications and Cloud Applications - APLWACA'10.


• Robustness Guarantees for Anonymity (pdf | bib).
  Gilles Barthe, Alejandro Hevia, Zhengqin Luo, Tamara Rezk, and Bogdan Warinschi.
  23rd Computer Security Foundations Symposium - CSF'10.


• Computationally Sound Symbolic Analysis of Probabilistic Protocols with Ideal Setups (pdf | bib).
  Zhengqin Luo.
  In Proc. 2nd Conference on Provable Security - PROVSEC'08.
  Lecture Notes in Computer Science 5324, pp. 185-199. Springer, 2008.


• On Automatic Verification of Self-stabilizing Population protocols(pdf | bib).
  Jun Pang, Zhengqin Luo, and Yuxin Deng.
  In Proc. 2nd IEEE International Symposium on Theoretical Aspects of Software Engineering - TASE'08, pp. 185-192, 2008.


• Analyzing an Electronic Cash Protocol using Applied Pi-calculus (pdf | bib).
  Zhengqin Luo, Xiaojuan Cai, Jun Pang, and Yuxin Deng.
  In Proc. 5th Conference on Applied Cryptography and Network Security - ACNS'07,
  Lecture Notes in Computer Science 4521, pp. 87-103. Springer, 2007.

Unpublished drafts:

• On Secure Information Flow in Reactive Programming Paradigm (pdf).
  Zhengqin Luo.


• Secure Information Flow in ULM as a Safety Property (pdf).
  Zhengqin Luo.

Zhengqin Luo, last updated: 7th March, 2011