| 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 | |
| 1 | Xiaojuan Cai | [1] |
| 2 | Yuxin Deng | [1] [2] [3] |
| 3 | Jun Pang | [1] [2] [3] |