Gianluca CAIAZZA

Position
Researcher
Telephone
041 234 8582
E-mail
gianluca.caiazza@unive.it
Scientific sector (SSD)
Informatica [INFO-01/A]
Website
www.unive.it/people/gianluca.caiazza (personal record)
Office
Department of Environmental Sciences, Informatics and Statistics
Website: https://www.unive.it/dep.dais
Where: Campus scientifico via Torino
Room: office Z.B04 (Zeta B building)
Office
Interconnected Nord-Est Innovation Ecosystem - Temporary Project Centre
Research Institute
Research Institute for Complexity

Giacomo Zanatta, Gianluca Caiazza, Pietro Ferrara, Luca Negrini, Ruffin White Automating ROS2 Security Policies Extraction through Static Analysis , Proceedings of IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), IEEE, Convegno: IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS)
2024, Article in Conference Proceedings - ARCA card: 10278/5062421


Zanatta, Giacomo; Ferrara, Pietro; Lisovenko, Teodors; Negrini, Luca; Caiazza, Gianluca; White, Ruffin Sound Static Analysis for Microservices: Utopia? A Preliminary Experience with LiSA , FTfJP 2024: Proceedings of the 26th ACM International Workshop on Formal Techniques for Java-like Programs, Association for Computing Machinery, pp. 5-10, Convegno: Formal Techniques for Java-like Programs (FTfJP 2024)
DOI 2024, Article in Conference Proceedings - ARCA card: 10278/5072661


Mayoral-Vilches V.; White R.; Caiazza G.; Arguedas M. SROS2: Usable Cyber Security Tools for ROS 2 , IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), 345 E 47TH ST, NEW YORK, NY 10017 USA, IEEE, vol. 2022-October, pp. 11253-11259, Convegno: International Conference on Intelligent Robots and Systems (IROS) (ISBN 978-1-6654-7927-1)
DOI 2022, Article in Conference Proceedings - ARCA card: 10278/5035211


Bernhard Dieber, Ruffin White, Sebastian Taurer, Benjamin Breiling, Gianluca Caiazza, Henrik Christensen, Agostino Cortesi Penetration testing ROS , Robot Operating System (ROS) The Complete Reference (Volume 4), Springer, vol. 831, pp. 183-225 (ISBN 978-3-030-20189-0) (ISSN 1860-9503)
DOI 2020, Book Article - ARCA card: 10278/3711479


White, Ruffin; Caiazza, Gianluca; Cortesi, Agostino; Cho, Young Im; Christensen, Henrik I. Black Block Recorder: Immutable Black Box Logging for Robots via Blockchain in IEEE ROBOTICS AND AUTOMATION LETTERS, vol. 4, pp. 3812-3819 (ISSN 2377-3766)
DOI 2019, Journal Article - ARCA card: 10278/3721775