Agostino Cortesi
Papers
11
Total Citations
137
H-Index
5
About
Agostino Cortesi is a prominent researcher specializing in software security, static program analysis, and robotic systems verification. His work sits at a compelling intersection of formal methods and practical security engineering, with particular emphasis on securing robotic middleware and autonomous systems. Cortesi has made significant contributions to the security of the Robot Operating System (ROS), most notably through his highly cited work on penetration testing methodologies for ROS (52 citations) and the development of secure ROS1 systems (23 citations). His pioneering research on blockchain-based immutable logging for robots — the Black Block Recorder — introduced a novel approach to tamper-proof event recording in robotics, garnering 26 citations. These contributions collectively establish him as a leading voice in robotics cybersecurity. Beyond security, Cortesi has advanced static analysis techniques for robotics software verification, applying semantics-based approaches including abstract interpretation and model checking to the complex control software underpinning robotic systems. His educational contributions are equally noteworthy, exemplified by the Legodroid library, which bridges Android and LEGO Mindstorms platforms to support accessible robotics education. More recently, his work on managing non-functional requirement conflicts in autonomous systems reflects his evolving focus on holistic, context-aware system design.
Research Focus
Key Achievements
Top Papers
- 1Penetration Testing ROS52 citations · 2019
- 2Black Block Recorder: Immutable Black Box Logging for Robots via Blockchain26 citations · 2019
- 3SROS1: Using and Developing Secure ROS1 Systems23 citations · 2018
- 4Static analysis techniques for robotics software verification11 citations · 2013
- 5Procedurally Provisioned Access Control for Robotic Systems9 citations · 2018
- 6
- 7
- 8Advanced Computing and Systems for Security2 citations · 2020
- 9
- 10