| 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 |
