WHITE MAGNER, RUFFIN
WHITE MAGNER, RUFFIN
Dipartimento di Scienze Ambientali, Informatica e Statistica
Mostra
records
Risultati 1 - 2 di 2 (tempo di esecuzione: 0.0 secondi).
Automating ROS2 Security Policies Extraction through Static Analysis
2024-01-01 Zanatta, Giacomo; Caiazza, Gianluca; Ferrara, Pietro; Negrini, Luca; White, Ruffin
Sound Static Analysis for Microservices: Utopia? A Preliminary Experience with LiSA
2024-01-01 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 | - | |
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 | - |