 | 2011 |
|---|
| 6 |       | Zhengqin Luo,
Tamara Rezk,
Manuel Serrano:
Automated Code Injection Prevention for Web Applications.
TOSCA 2011: 186-204 |
| 2010 |
|---|
| 5 | | Gilles Barthe,
Alejandro Hevia,
Zhengqin Luo,
Tamara Rezk,
Bogdan Warinschi:
Robustness Guarantees for Anonymity.
CSF 2010: 91-106 |
| 2008 |
|---|
| 4 | | Zhengqin Luo:
Computationally Sound Symbolic Analysis of Probabilistic Protocols with Ideal Setups.
ProvSec 2008: 185-199 |
| 3 | | Jun Pang,
Zhengqin Luo,
Yuxin Deng:
On Automatic Verification of Self-Stabilizing Population Protocols.
TASE 2008: 185-192 |
| 2 | | Jun Pang,
Zhengqin Luo,
Yuxin Deng:
On automatic verification of self-stabilizing population protocols.
Frontiers of Computer Science in China 2(4): 357-367 (2008) |
| 2007 |
|---|
| 1 | | Zhengqin Luo,
Xiaojuan Cai,
Jun Pang,
Yuxin Deng:
Analyzing an Electronic Cash Protocol Using Applied Pi Calculus.
ACNS 2007: 87-103 |
Data released under the ODC-BY 1.0 license — See also our legal information page