Transactions on Dependable and Secure Computing (TDSC), 2025
PDFTransactions on Dependable and Secure Computing (TDSC), 2025
PDFTrustCom 2025
PDFAutomated Software Engineering (ASE), Springer 2025
Journal of Software Engineering and Applications, 2024
Cybersecurity, 2020 (authors in alphabetical order)
PDFAI Column of IEEE Computer, 2026
EAI SecureComm, 2026
The 3rd International Conference on Foundation and Large Language Models (FLLM), 2025
55th IEEE/IFIP DSN (Industry Track), 2025
PDFCybersecurity, 2021
PDF25th European Symposium on Research in Computer Security (ESORICS), 2020
PDFIEEE/IFIP International Conference on Dependable Systems and Networks (DSN), 2018
PDFInternational Conference on Security and Privacy in Communication Systems (SecureComm), 2017
PDFInternational Conference on Security and Privacy in Communication Systems (SecureComm), 2017
PDF