Platshållare för saknad bild till Charilaos Skandylas

Charilaos Skandylas

Postdoktor

Publikationer

2025

Charilaos Skandylas, Mikael Asplund (2025) Automated penetration testing: Formalization and realization Computers & Security, Vol. 155, Artikel 104454 (Artikel i tidskrift) Vidare till 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, s. 1232-1244 (Konferensbidrag) Vidare till DOI

Undervisning

Om avdelningen

Kollegor vid SaS

Om institutionen