Site Overlay

Invited Talks

Invited Talk at “LLM Systematic Security Workshop – Future Generative AI Security & Application Summit”, 2024

Invited Talk at “6th Huawei Forum on Trust and Privacy for the Future Digital World”, 2023

Invited Talk at “华为SPAC战略升级洞察专题会议”, 2023

Keynote Talk at International Conference on Theoretical Aspects of Software Engineering (TASE), 2022

Keynote Talk at International Conference on Formal Engineering Methods (ICFEM), 2020

Keynote Talk at International Conference on Future Data and Security Engineering (FDSE), 2020

Keynote Talk at International Conference on Internetware (Internetware 2019), 2019 

Keynote Talk at International Symposium on High-Assurance Systems Engineering (HASE), 2017

Keynote Talk at International Conference on Engineering of Complex Computer Systems (ICECCS), 2015