Charilaos Skandylas

Publications

2025

Charilaos Skandylas, Mikael Asplund (2025) Automated penetration testing: Formalization and realization Computers & Security, Vol. 155, Article 104454 (Article in journal) Continue to DOI

2024

Narges Khakpour, Charilaos Skandylas (2024) Compositional Security Analysis of Dynamic Component-based Systems PROCEEDINGS OF 2024 39TH ACM/IEEE INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING, ASE 2024, p. 1232-1244 (Conference paper) Continue to DOI