Guangdong Bai bio photo

Guangdong Bai

Associate Professor
School of Information Technology and Electrical Engineering
The University of Queensland
Australia

Twitter   G. Scholar LinkedIn e-Mail

Professional Services

Conference General Chair

  • The 24th International Conference on Formal Engineering Methods (ICFEM 2023)

    • Program Commitee Chair

  • The 16th International Conference on Network and System Security (NSS 2022)
  • The 3rd Symposium on Distributed Ledger Technology (SDLT3)
  • The 22nd International Conference on Engineering of Complex Computer Systems (ICECCS 2017)

    • Program Committee Member

  • The 31st Network and Distributed System Security Symposium (NDSS 2024)
  • The 30th ACM Conference on Computer and Communications Security (CCS 2023)
  • The 38th IEEE/ACM International Conference on Automated Software Engineering (ASE 2023)
  • The Web Conference 2022 (WWW 2022)
  • The 27th European Symposium on Research in Computer Security (ESORICS 2022)
  • The 31st ACM International Conference on Information and Knowledge Management (CIKM 2022)
  • The 23rd International Conference on Formal Engineering Methods (ICFEM 2022)
  • The 27th International Conference on Engineering of Complex Computer Systems (ICECCS 2022)
  • The 24th International Conference on Information and Communications Security (ICICS 2022)
  • The 16th International Symposium on Theoretical Aspects of Software Engineering (TASE 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

  • Associate Editor: Frontiers in Computer Science

    • Others

  • Poster Co-Chair: The 18th ACM ASIA Conference on Computer and Communications Security (ACM ASIACCS 2023)
  • Local Chair: International Conference Advanced Data Mining and Applications (ADMA 2022)
  • 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.