Gianluca Caiazza

According to our database, Gianluca Caiazza authored at least 6 papers between 2018 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

Sound Static Analysis for Microservices: Utopia? A Preliminary Experience with LiSA.

Giacomo Zanatta, Pietro Ferrara, Teodors Lisovenko, Luca Negrini, Gianluca Caiazza, Ruffin White

Proceedings of the 26th ACM International Workshop on Formal Techniques for Java-like Programs, 2024

2022

SROS2: Usable Cyber Security Tools for ROS 2.

Victor Mayoral Vilches, Ruffin White, Gianluca Caiazza, Mikael Arguedas

Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 2022

2019

Black Block Recorder: Immutable Black Box Logging for Robots via Blockchain.

Ruffin White, Gianluca Caiazza, Agostino Cortesi, Young Im Cho, Henrik I. Christensen

IEEE Robotics Autom. Lett., 2019

Network Reconnaissance and Vulnerability Excavation of Secure DDS Systems.

Ruffin White, Gianluca Caiazza, Chenxu Jiang, Xinyue Ou, Zhiyue Yang, Agostino Cortesi, Henrik I. Christensen

Proceedings of the 2019 IEEE European Symposium on Security and Privacy Workshops, 2019

2018

Procedurally Provisioned Access Control for Robotic Systems.

Ruffin White, Henrik I. Christensen, Gianluca Caiazza, Agostino Cortesi

Proceedings of the 2018 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2018

Enhancing Security in ROS.

Gianluca Caiazza, Ruffin White, Agostino Cortesi

Proceedings of the Advanced Computing and Systems for Security, 2018