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

Publications

Year Type Publication
Year Type Publication
2024 Article in Conference Proceedings 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)
- ARCA card: 10278/5062421
2024 Article in Conference Proceedings 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 - ARCA card: 10278/5072661
2022 Article in Conference Proceedings 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 - ARCA card: 10278/5035211
2020 Book Article 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 - ARCA card: 10278/3711479
2019 Journal Article 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 - ARCA card: 10278/3721775
2019 Book Article Ruffin White, Gianluca Caiazza, Henrik Christensen, Agostino Cortesi SROS1: Using and Developing Secure ROS1 Systems , Robot Operating System (ROS) (Volume 3), Springer, pp. 373-405 (ISBN 978-3-319-91589-0)
DOI - URL correlato - ARCA card: 10278/3699694
2019 Article in Conference Proceedings Gianluca Caiazza, Ruffin White, Agostino Cortesi Enhancing security in ROS , Advances in Intelligent Systems and Computing, vol.8, Springer, pp. 5-13, Convegno: 5nd International Doctoral Symposium on Applied Computation and Security Systems (ISBN 978-981-13-3701-7)
DOI - ARCA card: 10278/3699695
2019 Article in Conference Proceedings Ruffin White, Gianluca Caiazza, Chenxu Jiang, Xinyue Ou, Zhiyue Yang, Agostino Cortesi, Henrik Christensen Network Reconnaissance and Vulnerability Excavation of Secure DDS Systems , EuroS&PW 2019, IEEE Computer Society Conference Publishing Services, Convegno: SSIoT 2019 - IEEE EuroS&P Workshop on Software Security for Internet of Things, at 4th IEEE European Symposium on Security and Privacy, 17/06/2019-19/06/2019 (ISBN 978-1-7281-3026-2)
DOI - ARCA card: 10278/3715756
2019 Article in Conference Proceedings Ruffin White, Gianluca Caiazza, Agostino Cortesi, Henrik I. Christensen Procedurally Provisioned Access Control for Robotic Systems , IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), IEEE/RSJ, Convegno: International Conference on Intelligent Robots and Systems (IROS)
DOI - ARCA card: 10278/3711478
2015 Abstract in Atti di convegno Caiazza, Gianluca; Focardi, Riccardo; Squarcina, Marco Run-time analysis of PKCS#11 attacks , 8th International Workshop on Analysis of Security APIs (ASA-8), no formal editor, Convegno: 8th International Workshop on Analysis of Security APIs (ASA-8), 13/07/2015
- ARCA card: 10278/3660277