Type-Based Analysis of Protected Storage in the TPM. - Jianxiong Shao; Dengguo Feng; Yu Qin (ICICS, 2013)

Type-Based Analysis of Protected Storage in the TPM (full version). - Jianxiong Shao; Dengguo Feng; Yu Qin (IACR Cryptol. ePrint Arch., 2013)

ExBLACR: Extending BLACR System. - Weijin Wang; Dengguo Feng; Yu Qin; Jianxiong Shao; Li Xi; XiaoBo Chu (ACISP, 2014)

ARBRA: Anonymous Reputation-Based Revocation with Efficient Authentication. - Li Xi; Jianxiong Shao; Kang Yang 002; Dengguo Feng (ISC, 2014)

Direct Anonymous Attestation in practice: Implementation and efficient revocation. - Li Xi; Dengguo Feng; Yu Qin; Feng Wei; Jianxiong Shao; Bo Yang (PST, 2014)

Formal Analysis of Enhanced Authorization in the TPM 2.0. - Jianxiong Shao; Yu Qin; Dengguo Feng; Weijin Wang (AsiaCCS, 2015)

Computational Soundness Results for Stateful Applied π Calculus. - Jianxiong Shao; Yu Qin; Dengguo Feng (POST, 2016)

Computational Soundness Results for Stateful Applied pi Calculus. - Jianxiong Shao; Yu Qin; Dengguo Feng (CoRR, 2016)

Formal analysis of HMAC authorisation in the TPM2.0 specification. - Jianxiong Shao; Yu Qin; Dengguo Feng (IET Inf. Secur., 2018)