J. Shao

Direct Anonymous Attestation in practice: Implementation and efficient revocation

Bo Yang, Feng Wei, Dengguo Feng, 2014, 2014 Twelfth Annual International Conference on Privacy, Security and Trust.

Formal Analysis of Enhanced Authorization in the TPM 2.0

Dengguo Feng, Yu Qin, Jianxiong Shao, 2015, AsiaCCS.

Computational Soundness Results for Stateful Applied π Calculus

Dengguo Feng, Yu Qin, Jianxiong Shao, 2016, POST.

ExBLACR: Extending BLACR System

Dengguo Feng, Yu Qin, Li Xi, 2014, ACISP.