Jianan Hao

Publication Activity (10 Years)

Years Active: 2010-2014
Publications (10 Years): 0

Top Topics

Remote Attestation

Trusted Computing

Alternating Time Temporal Logic

Top Venues

Publications

Guangdong Bai, Jianan Hao, Jianliang Wu, Yang Liu, Zhenkai Liang, Andrew P. Martin
TrustFound: Towards a Formal Foundation for Model Checking Trusted Computing Platforms. FM (2014)
Jianan Hao, Yang Liu, Wentong Cai, Guangdong Bai, Jun Sun
vTRUST: A Formal Modeling and Verification Framework for Virtualization Systems. ICFEM (2013)
Jianan Hao, Wentong Cai
Measuring Information Exposure Attacks on Interest Management. PADS (2012)
Jianan Hao, Wentong Cai
Trusted Block as a Service: Towards Sensitive Applications on the Cloud. TrustCom (2011)
Jianan Hao, Suiping Zhou
SAFE: A Secure Area of Interests Filter for P2P-based MMOGs. CIT (2010)