Jianxiong Shao

Publication Activity (10 Years)

Years Active: 2013-2018
Publications (10 Years): 4

Top Topics

Relational Databases

Formal Analysis

Trust Evaluation

Storage Requirements

Top Venues

IACR Cryptol. ePrint Arch.

Publications

Jianxiong Shao, Yu Qin, Dengguo Feng
Formal analysis of HMAC authorisation in the TPM2.0 specification. IET Inf. Secur. 12 (2) (2018)
Jianxiong Shao, Yu Qin, Dengguo Feng
Computational Soundness Results for Stateful Applied pi Calculus. CoRR (2016)
Jianxiong Shao, Yu Qin, Dengguo Feng
Computational Soundness Results for Stateful Applied π Calculus. POST (2016)
Jianxiong Shao, Yu Qin, Dengguo Feng, Weijin Wang
Formal Analysis of Enhanced Authorization in the TPM 2.0. AsiaCCS (2015)
Li Xi, Jianxiong Shao, Kang Yang, Dengguo Feng
ARBRA: Anonymous Reputation-Based Revocation with Efficient Authentication. ISC (2014)
Weijin Wang, Dengguo Feng, Yu Qin, Jianxiong Shao, Li Xi, XiaoBo Chu
ExBLACR: Extending BLACR System. ACISP (2014)
Li Xi, Dengguo Feng, Yu Qin, Feng Wei, Jianxiong Shao, Bo Yang
Direct Anonymous Attestation in practice: Implementation and efficient revocation. PST (2014)
Jianxiong Shao, Dengguo Feng, Yu Qin
Type-Based Analysis of Protected Storage in the TPM. ICICS (2013)
Jianxiong Shao, Dengguo Feng, Yu Qin
Type-Based Analysis of Protected Storage in the TPM (full version). IACR Cryptol. ePrint Arch. 2013 (2013)