Jianxiong Shao

According to our database, Jianxiong Shao authored at least 9 papers between 2013 and 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2018

Formal analysis of HMAC authorisation in the TPM2.0 specification.

Jianxiong Shao, Yu Qin, Dengguo Feng

IET Inf. Secur., 2018

2016

Computational Soundness Results for Stateful Applied pi Calculus.

Jianxiong Shao, Yu Qin, Dengguo Feng

CoRR, 2016

Computational Soundness Results for Stateful Applied π Calculus.

Jianxiong Shao, Yu Qin, Dengguo Feng

Proceedings of the Principles of Security and Trust - 5th International Conference, 2016

2015

Formal Analysis of Enhanced Authorization in the TPM 2.0.

Jianxiong Shao, Yu Qin, Dengguo Feng, Weijin Wang

Proceedings of the 10th ACM Symposium on Information, 2015

2014

Direct Anonymous Attestation in practice: Implementation and efficient revocation.

Li Xi, Dengguo Feng, Yu Qin, Feng Wei, Jianxiong Shao, Bo Yang

Proceedings of the 2014 Twelfth Annual International Conference on Privacy, 2014

ARBRA: Anonymous Reputation-Based Revocation with Efficient Authentication.

Li Xi, Jianxiong Shao, Kang Yang, Dengguo Feng

Proceedings of the Information Security - 17th International Conference, 2014

ExBLACR: Extending BLACR System.

Weijin Wang, Dengguo Feng, Yu Qin, Jianxiong Shao, Li Xi, XiaoBo Chu

Proceedings of the Information Security and Privacy - 19th Australasian Conference, 2014

2013

Type-Based Analysis of Protected Storage in the TPM (full version).

Jianxiong Shao, Dengguo Feng, Yu Qin

IACR Cryptol. ePrint Arch., 2013

Type-Based Analysis of Protected Storage in the TPM.

Jianxiong Shao, Dengguo Feng, Yu Qin

Proceedings of the Information and Communications Security - 15th International Conference, 2013