 | 2010 |
|---|
| 8 |       | Danqing Huang,
Rui Xue,
Feng Liu,
Jianhua Peng,
Zhenju Zhao,
Dongyao Ji:
Formal Verification of HMQV Using ASM-SPV.
IIH-MSP 2010: 486-489 |
| 7 | | Qiang Tang,
Dongyao Ji:
Verifiable Attribute Based Encryption.
I. J. Network Security 10(2): 114-120 (2010) |
| 2008 |
|---|
| 6 | | Wei Wang,
Dongyao Ji:
Using SPIN to Detect Vulnerabilities in the AACS Drive-Host Authentication Protocol.
FORTE 2008: 305-323 |
| 2007 |
|---|
| 5 | | Qiang Tang,
Dongyao Ji:
Verifiable Attribute-based Encryption.
IACR Cryptology ePrint Archive 2007: 461 (2007) |
| 2006 |
|---|
| 4 | | Dongyao Ji,
Dengguo Feng:
Efficient Anonymous Electronic Metering Scheme.
AMT 2006: 327-330 |
| 3 | | Dongyao Ji,
Dengguo Feng:
Fault-tolerate Multiparty Electronic Contract Signing Protocol.
AMT 2006: 79-85 |
| 2004 |
|---|
| 2 | | 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) |
Data released under the ODC-BY 1.0 license — See also our legal information page