| 2008 | ||
|---|---|---|
| 3 | EE | Wei Wang, Dongyao Ji: Using SPIN to Detect Vulnerabilities in the AACS Drive-Host Authentication Protocol. FORTE 2008: 305-323 |
| 2004 | ||
| 2 | EE | Hong-Da Li, Dongyao Ji, Dengguo Feng, Bao Li: Oblivious Polynomial Evaluation. J. Comput. Sci. Technol. 19(4): 550-554 (2004) |
| 2001 | ||
| 1 | Dongyao Ji, Yuming Wang: Comments on ``An approach to the formal verification of the two-party cryptographic protocols'' by Zhang, Li and Xiao. Operating Systems Review 35(1): 6-7 (2001) | |
| 1 | Dengguo Feng | [2] |
| 2 | Bao Li | [2] |
| 3 | Hong-Da Li | [2] |
| 4 | Wei Wang | [3] |
| 5 | Yuming Wang | [1] |