Jianan Hao
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
2011–2014
Best venue rank
B
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2014 | FM | TrustFound: Towards a Formal Foundation for Model Checking Trusted Computing Platforms. | Guangdong Bai, Jianan Hao, Jianliang Wu, Yang Liu, Zhenkai Liang, Andrew P. Martin |
| 2013 | ICFEM | vTRUST: A Formal Modeling and Verification Framework for Virtualization Systems. | Jianan Hao, Yang Liu, Wentong Cai, Guangdong Bai, Jun Sun |
| 2012 | PADS | Measuring Information Exposure Attacks on Interest Management. | Jianan Hao, Wentong Cai |
| 2011 | TrustCom | Trusted Block as a Service: Towards Sensitive Applications on the Cloud. | Jianan Hao, Wentong Cai |