Charilaos Skandylas

Publications

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