Comments on "An approach to the formal verification of the two-party cryptographic protocols" by Zhang, Li and Xiao. - Dongyao Ji; Yuming Wang (ACM SIGOPS Oper. Syst. Rev., 2001)

Oblivious Polynomial Evaluation. - Hong-Da Li 001; Dongyao Ji; Dengguo Feng; Bao Li 001 (J. Comput. Sci. Technol., 2004)

Fault-tolerate Multiparty Electronic Contract Signing Protocol. - Dongyao Ji; Dengguo Feng (AMT, 2006)

Efficient Anonymous Electronic Metering Scheme. - Dongyao Ji; Dengguo Feng (AMT, 2006)

Using SPIN to Detect Vulnerabilities in the AACS Drive-Host Authentication Protocol. - Wei Wang 062; Dongyao Ji (FORTE, 2008)

Formal Verification of HMQV Using ASM-SPV. - Danqing Huang; Rui Xue; Feng Liu; Jianhua Peng; Zhenju Zhao; Dongyao Ji (IIH-MSP, 2010)

Verifiable Attribute Based Encryption. - Qiang Tang 005; Dongyao Ji (Int. J. Netw. Secur., 2010)

Active Attacking Multicast Key Management Protocol Using Alloy. - Ting Wang; Dongyao Ji (ABZ, 2012)

Formal Analysis of Dynamic Domain Establishment Protocol in Cloud Logging Service. - Wei Hu; Dongyao Ji (EWDC, 2013)

A New Trust Chain Security Evaluation Model and Tool. - Wei Hu; Dongyao Ji; Ting Wang; Gang Yao (SecureComm (2), 2014)

Comment on "Design and formal security evaluation of NeMHIP". - Ting Wang; Dongyao Ji (Comput. Secur., 2015)

Enhanced TLS Handshake Authentication with Blockchain and Smart Contract (Short Paper). - Bingqing Xia; Dongyao Ji; Gang Yao (IWSEC, 2017)