Weijin Wang

Formal Analysis of Enhanced Authorization in the TPM 2.0

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

TMSUI: A Trust Management Scheme of USB Storage Devices for Industrial Control Systems

Yu Qin, Dengguo Feng, Yingjun Zhang, 2015, ICICS.

Formal Analysis of a TTP-Free Blacklistable Anonymous Credentials System (Full Version)

Dengguo Feng, Jingbin Liu, Yu Qin, 2017, IACR Cryptol. ePrint Arch..

ExBLACR: Extending BLACR System

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

An Efficient Trustzone-Based In-application Isolation Schema for Mobile Authenticators

Bo Yang, Dengguo Feng, Yu Qin, 2017, SecureComm.

Discovering the impact of systemic and idiosyncratic risk factors on credit spread of corporate bond within the framework of intelligent knowledge management

Ling Tang, Liu Yang, Rongda Chen, 2015, Ann. Oper. Res..

Efficiency Test in Chinese Plastic Futures Market

Rongda Chen, Wenlong Li, Weijin Wang, 2012, 2012 Fifth International Conference on Business Intelligence and Financial Engineering.

Information Properties of Boundary Line Models for N2O Emissions from Agricultural Soils

Robert M. Rees, Weijin Wang, Gareth Hughes, 2013, Entropy.

Automated Proof for Authorization Protocols of TPM 2.0 in Computational Model

Dengguo Feng, Yu Qin, Weijin Wang, 2014, ISPEC.

Automated Security Proof of Cryptographic Support Commands in TPM 2.0

Bo Yang, Dengguo Feng, Yu Qin, 2016, ICICS.