CAIAZZA, Gianluca
CAIAZZA, Gianluca
Dipartimento di Scienze Ambientali, Informatica e Statistica
Application-level security for robotic networks
2021-03-17 Caiazza, Gianluca
Automating ROS2 Security Policies Extraction through Static Analysis
2024-01-01 Zanatta, Giacomo; Caiazza, Gianluca; Ferrara, Pietro; Negrini, Luca; White, Ruffin
Black Block Recorder: Immutable Black Box Logging for Robots via Blockchain
2019-01-01 White, Ruffin; Caiazza, Gianluca; Cortesi, Agostino; Cho, Young Im; Christensen, Henrik I.
Enhancing security in ROS
2019-01-01 Caiazza, Gianluca; White, Ruffin; Cortesi, Agostino
Network Reconnaissance and Vulnerability Excavation of Secure DDS Systems
2019-01-01 White, Ruffin; Caiazza, Gianluca; Jiang, Chenxu; Ou, Xinyue; Yang, Zhiyue; Cortesi, Agostino; Christensen, Henrik
Penetration testing ROS
2020-01-01 Dieber, Bernhard; White, Ruffin; Taurer, Sebastian; Breiling, Benjamin; Caiazza, Gianluca; Christensen, Henrik; Cortesi, Agostino
Procedurally Provisioned Access Control for Robotic Systems
2019-01-01 White, Ruffin; Caiazza, Gianluca; Cortesi, Agostino; Christensen, Henrik I.
Run-time analysis of PKCS#11 attacks
2015-01-01 Caiazza, Gianluca; Focardi, Riccardo; Squarcina, Marco
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
SROS1: Using and Developing Secure ROS1 Systems
2019-01-01 Ruffin, White; Caiazza, Gianluca; Henrik, Christensen; Cortesi, Agostino
SROS2: Usable Cyber Security Tools for ROS 2
2022-01-01 Mayoral-Vilches, V.; White, R.; Caiazza, G.; Arguedas, M.