Max Robotics — Global Service Robot Directory + US Certification

About

Dmitry Levshun is a researcher at the forefront of cyber-physical systems (CPS) security, with a specialized focus on the design and verification of secure, microcontroller-based mobile robots. His work directly addresses the critical challenge of protecting physical systems from cyber attacks, particularly in applications like perimeter monitoring. Levshun’s major contribution is an original, integrated methodology that combines abstract and detailed system representations to streamline the design of secure microcontroller systems. This approach, detailed in his most cited work (18 citations), offers a novel framework for verifying mobile robot behavior against security threats. His 2021 paper on designing secure microcontroller systems for mobile robots (12 citations) further demonstrates the practical application of his methodology. Notably, his doctoral thesis (in French) formalizes a generation-based approach to avoid common pitfalls in existing security design methods. With a growing citation impact, Levshun’s work is essential for engineers and researchers building resilient, next-generation autonomous systems where physical safety and cybersecurity are inseparable.