Research Areas

• Certified OS Kernel:CertiKOS
  A protection Demo
• System Security
• Trusted Computing: Remote Attestation
• Trust Management
• Trust Model, Reputation System and Recommendation System

Education

• 09/2005~01/2011, Peking University, Ph.D. Advisors: Weizhong Shao, Hong Mei, Bing Xie, Yao Guo
  Dissertation: Research on Remote Attestation for Runtime Software Trust Management
• 04/2007~10/2008, Singapore Management University, exchange student program, Advisors: Robert H. Deng, Xuhua Ding
• 09/2001~06/2005, University of Electronic Science and Technology of China, Bachelor of Computer Science

Book Chapter:

1. Remote Platform Attestation - The Testimony for Trust Management
   Xuhua Ding, Liang Gu, Robert H. Deng, Bing Xie, Hong Mei
   in book "Trust Modeling and Management in Digital Environments: from Social Concept to System Development"(Editor: Zheng Yan), IGI Global, 2010, DOI: 10.4018/978-1-61520-682-7, ISBN-13: 978-1615206827.
   

Journal, Conference and Workshop Publications:

1. CertiKOS: A Certified Kernel for Secure Cloud Computing
   Liang Gu, Alexander Vaynberg, Bryan Ford, Zhong Shao, David Costanzo
   In 2011 ACM SIGOPS Asia-Pacific Workshop on Systems[PDF]
   
   
2. Security Model Oriented Attestation on Dynamically Reconfigurable Component-Based Systems
   Liang Gu, Guangdong Bai, Yao Guo, Xiangqun Chen, Hong Mei
   Journal of Networking and Computer Applications, 2011, Accepted, (Full Version)
   
   
3. Modeling TCG-based Secure Systems with Colored Petri Nets
   Liang Gu, Yao Guo, Yanjiang Yang, Feng Bao, Hong Mei
   In the second International Conference on Trusted Systems (INTRUST), Liqun Chen and Moti Yung (Eds.), Lecture Notes in Computer Science, Beijing, China, 2010. [PDF]
   
   
4. SCOBA: Source Code Based Attestation on Custom Software
   Liang Gu,Yao Guo, Anbang Ruan, Qingni Shen, Hong Mei
   In the 26th Annual Computer Security Applications Conference (ACSAC), Austin, Texas, USA, December 6-10, 2010. [PDF]
   
   
5. Security Model Oriented Attestation on Dynamically Reconfigurable Component-Based System
   Liang Gu, Guangdong Bai, Yao Guo, Xiangqun Chen, Hong Mei
   In the International Symposium on High Confidence Embedded Computing (HiCEC), With the 7th International Conference on Autonomic and Trusted Computing (ATC), Xi'an, Shanxi, China, October 26-29, 2010. [PDF]
   
   
6. Context-Aware Usage Control for Android
   Guangdong Bai, Liang Gu, Tao Feng, Yao Guo, Xiangqun Chen
   In 6th International ICST Conference on Security and Privacy in Communication Networks (SecureCOMM ), Singapore, September 7-9, 2010. [PDF]
   
   
7. Context-aware Usage Control Mechanism for Securing Android Platform (Poster)
   Guangdong Bai, Liang Gu, Junjun Kong, Yao Guo, Xiangqun Chen
   In the 8th Annual International Conference on Mobile Systems, Applications and Services (MobiSys), San Francisco, CA, USA, June 15-18th, 2010.[PDF]
   
   
8. A Runtime Software Trustworthiness Evidence Collection Mechanism based on TPM
   Liang Gu, Yao Guo, Hua Wang, Yanzhen Zou, Bing Xie, Weizhong Shao
   Journal of Software, Vol. 21, No. 2,373-387, February, 2010.(in Chinese).[PDF]
   
   
9. Towards a Source-Code Oriented Attestation
   Anbang Ruan, Qingni Shen, Li Wang, Qin Chao, Liang Gu, Zhong Chen
   CHINA COMMUNICATIONS, Vol.6 No.4, 82-87, NOV 2009. (in both Chinese and English)
   
   
10. Extracting Source Code Set for Ruse from Legacy Code: A Tool Implementation
    Yiyan Huang, Lijie Wang, Liang Gu, Ge Li, Junfeng Zhao
    NASAC 2009, Computer Science, Vol.36, No.9, Sep 2009. (in Chinese)


11. Practical Property-based Attestation on Free Software(Poster)
    Liang Gu, Anbang Ruan, Yao Guo, Qingni Shen, Xiangqun Chen
    In the 25th Annual Computer Security Applications Conference (ACSAC), Honolulu, Hawaii, December 7–11th, 2009.[PDF]
    
    
12. Remote Attestation on Function Execution
    Liang Gu, Yueqiang Cheng, Xuhua Ding, Robert H. Deng, Yao Guo, Weizhong Shao
    In the International Conference on Trusted Systems (INTRUST), Lecture Notes in Computer Science 6163, Beijing, China, December 17-19th, 2009.[PDF]
    
    
13. Trusted Isolation Environment: An Attestation Architecture with Usage Control Model
    Anbang Ruan, Qingni Shen, Liang Gu, Li Wang, Lei Shi, Yahui Yang, Zhong Chen
    In the 11th International Conference on Information and Communications Security (ICICS), Beijing, China, December 14-17, 2009.[PDF]
    
    
14. Assisting Trustworthiness Based Web Services Selection Using the Fidelity of Websites
    Lijie Wang, Fei Liu, Ge Li, Liang Gu, Liangjie Zhang, Bing Xie
    In the 7th International Joint Conference on Service Oriented Computing (ICSOC/ServiceWave), Stockholm, Sweden, November 23-27th, 2009.[PDF]
    
    
15. Model-Driven Remote Attestation: Attesting Remote System from Behavioral Aspect
    Liang Gu, Xuhua Ding, Robert H. Deng, Yanzhen Zou, Bing Xie, Weizhong Shao, Hong Mei
    In the International Symposium on Trusted Computing (TrustCom), Zhangjiajie, Hunan, China, November 18-20th, 2008.[PDF]
    
    
16. Remote Attestation on Program Execution
    Liang Gu, Xuhua Ding, Robert Huijie Deng, Bing Xie, Hong Mei
    In the 3rd ACM Workshop on Scalable Trusted Computing (STC), With the 15th ACM Conference on Computer and Communications Security (CCS), Fairfax, VA, USA, Friday Oct 31, 2008.[PDF]
    
    
17. Rectifying Prejudicial Feedback Ratings in Reputation based Trust Management
    Yanzhen Zou, Liang Gu, Ge Li, Bing Xie, Hong Mei
    In the IEEE International Conference on Services Computing (SCC), Salt Lake City, Utah, USA , July 9-13th, 2007.
    
    

Academic Service

• Reviewer：
  • Enterprise Information System, 2010
  • Journal of Network and Computer Applications, 2010,2011
• External Reviewer:
  • Chinese Journal of Computers, 2010
  • International Conference on Genetic and Evolutionary Computing (ICGEC), 2010
  • ACM workshop on Scalable Trusted Computing (STC), 2010
  • International Conference on Autonomic and Trusted Computing (ATC), 2010
  • International Conference on Web Services (ICWS), 2010
  • Journal of Natural Science of Peking University, 2009
  • ACM Symposium on InformAtion, Computer and Communications Security (ASIACCS), 2008

Presentations and Talks

• SCOBA: Source Code Based Attestation on Custom Software, Conference Presentation, In In the 26th Annual Computer Security Applications Conference (ACSAC), Austin, Texas, USA, December 10, 2010
• Security Model Oriented Attestation on Dynamically Reconfigurable Component-Based System, Conference Presentation, In the International Symposium on High Confidence Embedded Computing (HiCEC), Xi'an, Shanxi, China, October 26, 2010
• Bootstrapping Trust in Software Systems based on Trusted Computing, Invited seminar talk, IBM China Research Lab, Beijing, China, June 30th, 2010
• Remote Attestation on Function Execution, Conference Presentation, In the International Conference on Trusted Systems (INTRUST), Beijing, China, December 17-19th, 2009
• A Runtime Software Trustworthiness Evidence Collection Mechanism based on TPM, Conference Presentation, National Software Application Conference(NASAC), Shenyang, Liaoning, China, 2009
• Model-Driven Remote Attestation: Attesting Remote System from Behavioral Aspect, Conference Presentation, In the International Symposium on Trusted Computing (TrustCom), Zhangjiajie, Hunan, China, 2008.