Publications
International conference papers, journal articles, and preprints
International research outputs are listed with conference papers first, followed by journal articles and preprints. Accepted and forthcoming work is labelled explicitly, and manuscripts under review are not included. Author roles are shown only where they are verified from the final paper or publication record.
Global venues
International Publications
Conference Papers
2026
- ICSEIn Proceedings of the 48th IEEE/ACM International Conference on Software Engineering , 2026
- AICompSIn Artificial Intelligence Computing and Systems: Second International Conference, AICompS 2025, Fukuoka, Japan, November 26–28, 2025, Revised Selected Papers , 2026
2025
- SVCCIn 2025 Silicon Valley Cybersecurity Conference , 2025
2024
- ESORICSIn Computer Security – ESORICS 2024: 29th European Symposium on Research in Computer Security , 2024
- AICompSIn International Conference on Artificial Intelligence Computing and Systems , 2024
- AICompSIn International Conference on Artificial Intelligence Computing and Systems , 2024
2023
- ESORICSIn European Symposium on Research in Computer Security (ESORICS) , 2023
- RAIDIn Proceedings of the 26th International Symposium on Research in Attacks, Intrusions and Defenses , 2023
2022
- ESORICSIn European Symposium on Research in Computer Security (ESORICS) , 2022
2020
- DACIn 2020 57th ACM/IEEE Design Automation Conference (DAC) , 2020
2019
- DATEIn 2019 Design, Automation & Test in Europe Conference & Exhibition (DATE) , 2019
Journal Articles
2026
- EMSEVulScope: Software Vulnerability Detection via Local Context Analysis and VerificationEmpirical Software Engineering, 2026
- IEEE Access
2022
- CINCIN: Computers, Informatics, Nursing, 2022
2021
- IEEE TAIIEEE Transactions on Artificial Intelligence, 2021
Preprints
2018
- arXivarXiv preprint arXiv:1803.09171, 2018