Guangdong Bai
Senior Lecturer
School of Information Technology and Electrical Engineering
The University of Queensland
Australia
G. Scholar
e-Mail
Professional Services
Program Commitee Chair
The 3rd Symposium on Distributed Ledger Technology (SDLT3)
The 22nd International Conference on Engineering of Complex Computer Systems (ICECCS 2017)
Program Committee Member
The Web Conference 2022 (WWW 2022)
The 26th International Conference on Engineering of Complex Computer Systems (ICECCS 2021)
The 26th European Symposium on Research in Computer Security (ESORICS 2021)
The 19th IEEE International Conference on Trust, Security and Privacy in Computing and Communications (TrustCom 2020)
The 22nd International Conference on Formal Engineering Methods (ICFEM 2020)
The 25th International Conference on Engineering of Complex Computer Systems (ICECCS 2020)
The 14th International Symposium on Theoretical Aspects of Software Engineering (TASE 2020)
The 20th International Conference on Parallel and Distributed Computing, Applications and Technologies (PDCAT 2019)
The 21st International Conference on Formal Engineering Methods (ICFEM 2019)
The 13th International Symposium on Theoretical Aspects of Software Engineering (TASE 2019)
The 14th ACM ASIA Conference on Computer and Communications Security (ACM ASIACCS 2019)
The 20th International Conference on Engineering of Complex Computer Systems (ICECCS 2015)
Doctoral Symposium at the 20th International Conference on Engineering of Complex Computer Systems
The 4th International Workshop on Engineering Safety and Security Systems (ESSS 2015), co-located with FM 2015
Editorial Board
Review Editor: Frontiers in Computer Science
Others
Organization Chair: The 4th Symposium on Distributed Ledger Technology (SDLT 2019)
Publication Chair: The 20th International Conference on Engineering of Complex Computer Systems (ICECCS 2015)
Workshop and Tutorial Chair Chair: The 24th International Conference on Engineering of Complex Computer Systems (ICECCS 2019)
Invited Reviewer
IEEE Transactions on Software Engineering (TSE)
ACM Transactions on Software Engineering and Methodology (TOSEM)
IEEE Transactions on Information Forensics and Security (TIFS)
IEEE Transactions on Dependable and Secure Computing (TDSC)
IEEE Transactions on Parallel and Distributed Systems (TPDS)
IEEE Transactions on Industrial Informatics
IEEE Transactions on Network Science and Engineering
IEEE Internet of Things Journal
Journal of Parallel and Distributed Computing
Journal of Formal Aspects of Computing (FAOC)
Journal of Software and System Modeling
The Computer Journal
Talks Given by me
Hey, You, Get off My Private Data: Do Apps Respect Your Privacy as They Claim?
Black Hat Asia, online, May 2021.
Security Analysis of Internet-or-Things Systems: An Integration Perspective
Working Formal Methods Symposium (FROM) , Sep 2020.
The Secret Codes Tell the Secrets
HITB Lock Down, online, July 2020.
Trusted Computing based Protocols: Modeling and Analysis
Peking University, Beijing, China, Jul 2019.
Towards Model Checking Event-driven Applications for Security Properties
Oracle, Brisbane, Australia, Jan 2019.
A New Fuzzing Method on Android
SyScan360, Singapore, Mar 2018.
The Nightmare of Fragmentation: A Case Study of 200+ Vulnerabilities in Android Phones
HITB GSEC, Singapore, Aug 2017.
3G/4G Intranet Scanning and its Application on the WormHole Vulnerability
Black Hat Asia, Singapore, Mar 2017.
Authenticator Leakage through Backup Channels on Android
Black Hat Europe, Amsterdam, The Netherlands, Nov 2015.
Extracting Model from Implementations of Web Authentication Protocols
Peking University, Beijing, China, Oct 2015.