ZANATTA, GIACOMO
ZANATTA, GIACOMO
Mostra
records
Risultati 1 - 4 di 4 (tempo di esecuzione: 0.0 secondi).
Automating ROS2 Security Policies Extraction through Static Analysis
2024 Zanatta, Giacomo; Caiazza, Gianluca; Ferrara, Pietro; Negrini, Luca; White, Ruffin
Inference of access policies through static analysis
2024 Zanatta, Giacomo; Caiazza, Gianluca; Ferrara, Pietro; Negrini, Luca
JLiSA: the Java frontend of the Library for Static Analysis (Competition Contribution)
2026 Arceri, Vincenzo; Negrini, Luca; Zanatta, Giacomo; Bianchi, Filippo; Lisovenko, Teodors; Olivieri, Luca; Ferrara, Pietro
Sound Static Analysis for Microservices: Utopia? A Preliminary Experience with LiSA
2024 Zanatta, Giacomo; Ferrara, Pietro; Lisovenko, Teodors; Negrini, Luca; Caiazza, Gianluca; White, Ruffin
| Titolo | Data di pubblicazione | Autori | Tipo | File | Abstract |
|---|---|---|---|---|---|
| Automating ROS2 Security Policies Extraction through Static Analysis | 1-gen-2024 | Giacomo ZanattaGianluca CaiazzaPietro FerraraLuca NegriniRuffin White | 4.1 Articolo in Atti di convegno | - | |
| Inference of access policies through static analysis | 1-gen-2024 | Zanatta, GiacomoCaiazza, GianlucaFerrara, PietroNegrini, Luca | 2.1 Articolo su rivista | - | |
| JLiSA: the Java frontend of the Library for Static Analysis (Competition Contribution) | 1-gen-2026 | Vincenzo ArceriLuca NegriniGiacomo ZanattaFilippo BianchiTeodors LisovenkoLuca OlivieriPietro Ferrara | 4.1 Articolo in Atti di convegno | - | |
| Sound Static Analysis for Microservices: Utopia? A Preliminary Experience with LiSA | 1-gen-2024 | Zanatta, GiacomoFerrara, PietroLisovenko, TeodorsNegrini, LucaCaiazza, GianlucaWhite, Ruffin | 4.1 Articolo in Atti di convegno | - |