| |
| 2008 | ||
|---|---|---|
| 4 | EE | Zhengqin Luo: Computationally Sound Symbolic Analysis of Probabilistic Protocols with Ideal Setups. ProvSec 2008: 185-199 |
| 3 | EE | Jun Pang, Zhengqin Luo, Yuxin Deng: On Automatic Verification of Self-Stabilizing Population Protocols. TASE 2008: 185-192 |
| 2 | EE | 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 | EE | 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] |