See you at BlackHat USA

About us

“TrustInSoft is revolutionizing software development by making the power of formal methods accessible, empowering developers to guarantee the safety and security of the code the world depends on.”

Fabrice Derepas
Cofounder and Chief Evangelist of TrustInSoft

TrustInSoft employees

Our mission

There is more and more software everywhere, that controls our life. TrustInSoft wants everyone to benefit from the most secure and safest software possible – and this is enabled through mathematical techniques known as formal methods.

In order to do that, TrustInSoft, a software publisher based in Paris and San Francisco, provides companies with a software code analysis tool to guarantee the security and safety of their source code using formal methods.

TrustInSoft employees together

Our Beginnings

TrustInSoft was founded in 2013 by three former researchers Fabrice Derepas, Benjamin Monate, and Pascal Cuoq of the French government’s Alternative Energies and Atomic Energy Commission. Their goal was to broaden the reach of formal methods for a variety of industry verticals, to promote security and safety in source code and contribute to making the ever-increasingly digitalized world a safer place.


TrustInSoft today supports customers worldwide in the aeronautics, telecommunications, industrial IoT, and automotive industries.

TrustInSoft employees group photos

Our team

TrustInSoft today is made up of an international team that serves safety and security-minded customers around the world. Founded in 2013, its technology is developed by a team of expert engineers, many of whom hold PhDs. 


Being a part of TrustInSoft means being a part of a dynamic, curious, creative (sometimes also geeky and bizarre) team – all dedicated to making security accessible to everyone.

Our timeline