Overview

We develop advanced solutions for the security of robotic systems. Automated systems connected to the internet are increasingly pervasive, and for this reason it is important to effectively guarantee their security. Regulatory bodies and industry continuously work to define the highest safety and reliability standards. However, given the growing complexity of these systems, it is necessary to have a system capable of ensuring that these standards are met. The solution is formal verification: the science of correct algorithms. What is missing today is a system capable of analyzing and verifying the IoT system as a whole instead of doing it separately for the single algorithms. Relying on over 20 years of academic and industrial experience, the Secura Factors team wants to respond to this need: a verification tool for robotic systems that fully guarantees their safety and security.