Sound Static Analysis for Microservices: Utopia? A Preliminary Experience with LiSA. - Giacomo Zanatta; Pietro Ferrara 001; Teodors Lisovenko; Luca Negrini 001; Gianluca Caiazza; Ruffin White (FTfJP@ECOOP, 2024)

Automating ROS2 Security Policies Extraction through Static Analysis. - Giacomo Zanatta; Gianluca Caiazza; Pietro Ferrara 001; Luca Negrini 001; Ruffin White (IROS, 2024)

Inference of access policies through static analysis. - Giacomo Zanatta; Gianluca Caiazza; Pietro Ferrara 001; Luca Negrini 001 (Int. J. Softw. Tools Technol. Transf., 2024)