Luca Negrini

Papers

Total Citations

H-Index

About

Luca Negrini is a researcher at the forefront of cybersecurity and static analysis for robotic systems, with a particular focus on the Robot Operating System 2 (ROS 2). His work addresses the critical challenge of securing mission-critical robotic applications as they scale in deployment. Negrini’s major contributions include developing novel static analysis techniques to automatically extract security policies from ROS 2 applications, leveraging the DDS-Security specifications and SROS2 utilities. His 2024 papers, each garnering 3 citations, introduce groundbreaking methods for inferring access policies through static analysis, enabling developers to verify correctness and security without manual intervention. This work is pivotal for industries relying on distributed robotic systems, from manufacturing to autonomous vehicles, where security breaches could have severe consequences. Negrini’s research bridges the gap between formal verification and practical cybersecurity, offering tools that automate the enforcement of security policies. His achievements highlight a commitment to making robotic deployments both scalable and secure, positioning him as a key contributor to the future of safe autonomous systems.