Jianan Hao

According to our database, Jianan Hao authored at least 6 papers between 2010 and 2017.

Collaborative distances:

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

2017

Analysis and mitigation of information exposure on interest management in massively multiplayer online games

Jianan Hao

PhD thesis, 2017

2014

TrustFound: Towards a Formal Foundation for Model Checking Trusted Computing Platforms.

Guangdong Bai, Jianan Hao, Jianliang Wu, Yang Liu, Zhenkai Liang, Andrew P. Martin

Proceedings of the FM 2014: Formal Methods, 2014

2013

vTRUST: A Formal Modeling and Verification Framework for Virtualization Systems.

Jianan Hao, Yang Liu, Wentong Cai, Guangdong Bai, Jun Sun

Proceedings of the Formal Methods and Software Engineering, 2013

2012

Measuring Information Exposure Attacks on Interest Management.

Jianan Hao, Wentong Cai

Proceedings of the 26th ACM/IEEE/SCS Workshop on Principles of Advanced and Distributed Simulation, 2012

2011

Trusted Block as a Service: Towards Sensitive Applications on the Cloud.

Jianan Hao, Wentong Cai

Proceedings of the IEEE 10th International Conference on Trust, 2011

2010

SAFE: A Secure Area of Interests Filter for P2P-based MMOGs.

Jianan Hao, Suiping Zhou

Proceedings of the 10th IEEE International Conference on Computer and Information Technology, 2010