Gianluca CAIAZZA
- Position
- Researcher
- Telephone
- 041 234 8582
-
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)
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 |