1. Register Automata for Malware Specification;Proceedings of the 17th International Conference on Availability, Reliability and Security;2022-08-23
2. Parallel computational tree logic model‐checking on pushdown systems;Concurrency and Computation: Practice and Experience;2022-07-13
3. Malware Forensics: Legacy Solutions, Recent Advances, and Future Challenges;Advances in Computing, Informatics, Networking and Cybersecurity;2022
4. Lessons Learnt on Reproducibility in Machine Learning Based Android Malware Detection;Empirical Software Engineering;2021-05-24
5. STAMAD;Proceedings of the 14th International Conference on Availability, Reliability and Security;2019-08-26