ABOUT COMPANY

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.

Group photo
Group photo
quote mark

“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

Our mission

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.

Join us
our beginning

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.

Our timeline

2023

TrustInSoft Analyzer was qualified as a qualified tool for ISO 26262 certification up to ASIL D by TÜV SÜD. The tool supports the entire software development lifecycle, from early design through verification and validation, ensuring that all potential risks are mitigated effectively.

2022

TrustInSoft works with customers in the most demanding industries for critical software verification. Among them are highly-renowned industrial actors like Thales, Safran, Mitsubishi, Sony Interactive Entertainment, and many others, where TrustInSoft Analyzer is used by software developers, QA Engineers and Test Engineers.

2019

In 2019, TrustInSoft announced its second round of funding of €5M through ACE Management’s Brienne III cybersecurity fund – the first of its kind in France – supported by TrustInSoft’s longstanding shareholders, Idinvest Partners and business angels.

2017

In 2017, TrustInSoft raised $1.2M from Idinvest Partners to change the rules in software development and automate code vulnerability detection on a wide scale.

2016

In 2016, in a report to the White House, the U.S. Department of Commerce’s NIST officially recognized TrustInSoft’s unique ability to deliver the highest level of mathematical guarantees on existing software.

2015

In 2015, TrustInSoft was nominated as one of the ten most innovative companies in the world, in cybersecurity, at the RSA conference in San Francisco. It was also chosen by the Linux Foundation to develop tools for software security.

2014

In 2014, TrustInSoft’s team used TrustInSoft Analyzer to write the first-of-its-kind verification report that mathematically proves that the PolarSSL library (now known as mbed TLS) is immune to certain types of Common Weaknesses Enumerations. It ensures the absence of Heartbleed-like errors if deployed accordingly to the Secure Deployment Guide. This is just one of many contributions to the open-source software community on behalf of TrustInSoft.

2013

In 2013, Fabrice Derepas, Benjamin Monate and Pascal Cuoq, three former researchers of the French government’s Alternative Energies and Atomic Energy Commission (CEA) founded TrustInSoft.