Dongyao Ji

13 papers C 2Misc 1Journal 5Unranked 5
YearRankTypeTitle / Venue / Authors
2017 Misc conf
Enhanced TLS Handshake Authentication with Blockchain and Smart Contract (Short Paper).
IWSEC
Bingqing Xia, Dongyao Ji, Gang Yao
2015 J jnl
Comment on "Design and formal security evaluation of NeMHIP".
Comput. Secur.
Ting Wang, Dongyao Ji
2014 — conf
A New Trust Chain Security Evaluation Model and Tool.
SecureComm (2)
Wei Hu, Dongyao Ji, Ting Wang, Gang Yao
2013 — conf
Formal Analysis of Dynamic Domain Establishment Protocol in Cloud Logging Service.
EWDC
Wei Hu, Dongyao Ji
2012 C conf
Active Attacking Multicast Key Management Protocol Using Alloy.
ABZ
Ting Wang, Dongyao Ji
2010 — conf
Formal Verification of HMQV Using ASM-SPV.
IIH-MSP
Danqing Huang, Rui Xue, Feng Liu, Jianhua Peng, Zhenju Zhao, Dongyao Ji
2010 J jnl
Verifiable Attribute Based Encryption.
Int. J. Netw. Secur.
Qiang Tang, Dongyao Ji
2008 C conf
Using SPIN to Detect Vulnerabilities in the AACS Drive-Host Authentication Protocol.
FORTE
Wei Wang, Dongyao Ji
2007 J jnl
Verifiable Attribute-based Encryption.
IACR Cryptol. ePrint Arch.
Qiang Tang, Dongyao Ji
2006 — conf
Efficient Anonymous Electronic Metering Scheme.
AMT
Dongyao Ji, Dengguo Feng
2006 — conf
Fault-tolerate Multiparty Electronic Contract Signing Protocol.
AMT
Dongyao Ji, Dengguo Feng
2004 J jnl
Oblivious Polynomial Evaluation.
J. Comput. Sci. Technol.
Hong-Da Li, Dongyao Ji, Dengguo Feng, Bao Li
2001 J jnl
Comments on "An approach to the formal verification of the two-party cryptographic protocols" by Zhang, Li and Xiao.
ACM SIGOPS Oper. Syst. Rev.
Dongyao Ji, Yuming Wang