Gianluca CAIAZZA

Qualifica
Ricercatore
Telefono
041 234 8582
E-mail
gianluca.caiazza@unive.it
SSD
Informatica [INFO-01/A]
Sito web
www.unive.it/persone/gianluca.caiazza (scheda personale)
Struttura
Dipartimento di Scienze Ambientali, Informatica e Statistica
Sito web struttura: https://www.unive.it/dais
Sede: Campus scientifico via Torino
Stanza: studio Z.B04 (edificio Zeta B)
Struttura
Centro temporaneo Progetto Ecosistema dell'Innovazione
Research Institute
Research Institute for Complexity

Pubblicazioni

Anno Tipologia Pubblicazione
Anno Tipologia Pubblicazione
2024 Articolo su rivista Zanatta, Giacomo; Caiazza, Gianluca; Ferrara, Pietro; Negrini, Luca Inference of access policies through static analysis in INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, vol. 26, pp. 797-821 (ISSN 1433-2779)
DOI - Scheda ARCA: 10278/5091727
2024 Articolo in Atti di convegno 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)
- Scheda ARCA: 10278/5062421
2024 Articolo in Atti di convegno 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 - Scheda ARCA: 10278/5072661
2022 Articolo in Atti di convegno 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 - Scheda ARCA: 10278/5035211
2020 Articolo su libro 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 - Scheda ARCA: 10278/3711479
2019 Articolo su rivista 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 - Scheda ARCA: 10278/3721775
2019 Articolo su libro 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 - Scheda ARCA: 10278/3699694
2019 Articolo in Atti di convegno 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 - Scheda ARCA: 10278/3699695
2019 Articolo in Atti di convegno 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 - Scheda ARCA: 10278/3715756
2019 Articolo in Atti di convegno 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 - Scheda ARCA: 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
- Scheda ARCA: 10278/3660277