Dr Bai Guangdong

SIT Faculty

Dr Bai Guangdong

Lecturer

Doctor of Philosophy (Computer Science), National University of Singapore

Cluster:  Infocomm Technology

Guangdong.Bai@SingaporeTech.edu.sg

+65 6592 3499

 

Academic Qualifications

Doctor of Philosophy (Computer Science)
National University of Singapore

Master of Science (Computer Science)
Peking University

Bachelor of Science (Computer Science)
Peking University

 

Academic Appointment

SIT Appointment
Lecturer, from 2016

 

Achievements

Best Paper Award in ICECCS, 2015

Best Paper Award in ICECCS, 2014

NUS Graduate School Scholarship, 2011

Tung Orient Overseas Container Line Scholarship, 2010

Intel Fellowship Award, 2009

 

Professional Membership and Industrial Activities

Industrial Activities

Program Committee Member, 4th International Workshop on Engineering Safety and Security Systems (ESSS 2016), colocated with FM 2016

Program Committee Member, 1st International Workshop on Singularity in Autonomous Security and Privacy (SASP 2016), co-located with ASE 2016

Program Committee Member, 20th International Conference on Engineering of Complex Computer Systems (ICECCS 2015)

Program Committee Member, Doctoral Symposium at 20th International Conference on Engineering of Complex Computer Systems

Program Committee Member, 4th International Workshop on Engineering Safety and Security Systems (ESSS 2015), colocated with FM 2015

Publication Chair, 20th International Conference on Engineering of Complex Computer Systems (ICECCS 2015)

Web co-Chair, 20th International Symposium of Formal Methods (FM 2014)

Reviewer, ACM Transactions on Software Engineering and Methodology (TOSEM)

Reviewer, Journal of Parallel and Distributed Computing (JPDC)

Reviewer, Journal of Security and Communication Networks (SCN)

Reviewer, Journal of Software and System Modeling (SOSYM)

Reviewer, Journal of Formal Aspects of Computing (FAOC)

Co-reviewer, WWW 2014, ICSE 2014&2015, IEEE S&P 2014&2016, Usenix Security 2013&2014, NDSS 2016, iFM 2013, ICFEM 2012, IEEE Transactions on Software Engineering (TSE)

 

Current Research, Funded Research and Publications

Current Research

System Security, Web Security, Mobile Security, Trusted Computing, Formal Methods on Security

 

Funded Research

Security and Privacy in Smart Grid Systems: Countermeasure and Formal Verification. Supported by National Research Foundation(NRF), Singapore. Research Collaborator.

 

Publications

Journal Publications

Guangdong Bai, Lin Yan, Liang Gu, Yao Guo, and Xiangqun Chen, Context-aware Usage Control for Web of Things. Security and Communication Networks. John Wiley & Sons, 7(12):2696-2712, December 2014.

Liang Gu, Guangdong Bai, Yao Guo, Xiangqun Chen, Hong Mei, Security Model Orient-ed Attestation on Dynamically Reconfigurable Component-Based Systems, Journal of Networking and Computer Applications, 35(3):974-981, 2011.

 

Conference Publications

Yaoqi Jia, Guangdong Bai, Prateek Saxena, Zhenkai Liang, Anonymity in Peer-assisted CDNs: Inference Attacks and Mitigation, in the 16th Privacy Enhancing Technologies Symposium (PETS), July, 2016.

Guangdong Bai, Jun Sun, Jianliang Wu, Quanqi Ye, Li Li, Jin Song Dong, Shanqing Guo, All Your Sessions are Belong to us: Investigating Authenticator Leakage through Back-up Channels on Android, in the 20th International Conference on Engineering of Complex Computer Systems (ICECCS), December 2015.

Quanqi Ye, Guangdong Bai, Jin Song Dong, Formal Analysis of a Single Sign-on Protocol Implementation for Android, in the 20th International Conference on Engineering of Complex Computer Systems (ICECCS), December 2015.

Haoyu Wang, Yao Guo, Zihao Tang, Guangdong Bai, Xiangqun Chen, Reevaluating Android Permission Gaps with Static and Dynamic Analysis, in the IEEE Global Communications Conference (GLOBECOM), December 2015.

Guangdong Bai, Jianan Hao, Jianliang Wu, Yang Liu, Zhenkai Liang and Andrew Martin, TrustFound: Towards a Formal Foundation for Model Checking Trusted Computing Platforms, in Proceeding of the 19th International Symposium on Formal Methods (FM),

Xiaolei Li, Hong Hu, Guangdong Bai, Yaoqi Jia, Zhenkai Liang, Prateek Saxena, DroidVault: A Trusted Data Vault for Android Devices, in the 19th International Conference on Engineering of Complex Computer Systems (ICECCS), China, August 2014.

Xiaolei Li, Guangdong Bai, Benjamin Thian, Zhenkai Liang, Heng Yin, A Light-weight Soft-ware Environment for Confining Android Malware, In the International Workshop on Trust-worthy Computing, San Francisco, CA, June 2014.

Guangdong Bai, Jike Lei, Guozhu Meng, Sai Sathyanarayan Venkatraman, Prateek Saxena, Jun Sun, Yang Liu and Jin Song Dong, AuthScan: Automatic Extraction of Web Authentication Protocols from Implementations, in 20th Annual Network & Distributed System Security Symposium (NDSS), 2013.

Xiaolei Li, Guangdong Bai, Zhenkai Liang, and Heng Yin, A Software Environment for Confining Malicious Android Applications via Resource Virtualization(short paper), in the 18th International Conference on Engineering of Complex Computer Systems (ICECCS), Singapore, July 2013.

Jianan Hao, Yang Liu, Wentong Cai, Guangdong Bai and Jun Sun, vTRUST: A Formal Modeling and Verification Framework for Virtualization Systems, in 15th International Conference on Formal Engineering Methods (ICFEM), 2013. SecureComm

Guangdong Bai, Tao Feng, Liang Gu, Yao Guo and Xiangqun Chen, Context-Aware Usage Control for Android, in Proceeding of 6th International ICST Conference on Security and Privacy in Communication Networks (SecureComm), 2010.

Guangdong Bai, Liang Gu, Junjun Kong, Yao Guo, Xiangqun Chen, Context-aware Usage Control Mechanism for Securing Android Platform(Poster), in the 8th Annual International Conference on Mobile Systems (Mobisys), 2010.

Liang Gu, Guangdong Bai, Yao Guo, Xiangqun Chen and Hong Mei, Security Model Oriented Attestation on Dynamically Reconfigurable Component-Based System, in the International Symposium on High Confidence Embedded Computing (HiCEC), 2010.