€5M fundraising through ACE Management’s Brienne III cybersecurity fund
Trusted by highly-renowned industrial actors like Thales, Safran, Mitsubishi, Sony Interactive Entertainment, Sagemcom, Arm and many others
Ensure the cybersecurity and safety of software in a variety of industry applications in an increasingly digitalized, connected world.
TrustInSoft is a software publisher based in Paris and San Francisco dedicated to providing companies with trust in their software, by guaranteeing the safety and security of their source code using mathematical techniques known as formal methods.
Founded in 2013 by three former researchers of the French government’s Alternative Energies and Atomic Energy Commission, and based on their development of Frama-C, TrustInSoft today supports customers in a variety of industries, including aeronautics, telecommunications, industrial IoT and automotive.
TrustInSoft provides essential support to ensuring the safety, security, and quality of software with its static code analysis tool capable of exhaustively detecting issues in code, supercharging existing tests to effectively detect even the most subtle software bugs.
Fabrice Derepas, Benjamin Monate and Pascal Cuoq founded TrustInSoft with the intention to broaden the reach of the technology they developed to a variety of industry verticals, to promote safety and security in source code and contribute to making the ever-increasingly digitalized world a safer place.
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
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.
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.
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.
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.
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
Today, 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.
TrustInSoft Analyzer is…
A C and C++ static code analyzer, that allows to identify any bug in software by supercharging existing software tests to detect errors, including those that traditional testing tools or other static analyzers can’t find.
It is able to exhaustively detect bugs because of its unique approach using formal methods, a set of mathematical reasonings used to create an abstract representation of the code. This strong mathematical proof allows to provide a mathematical guarantee of the absence of bugs in source code that has been corrected.
TrustInSoft Analyzer is used in a variety of industry verticals today, helping companies to ensure the safety and security of their products and infrastructures. Typical users of TrustInSoft Analyzer are software engineers, software developers, QA and Test engineers, and specialized safety and cybersecurity engineers.
Industries, including telecommunications, aeronautical, defense, industrial IoT, nuclear, and automotive, and more
Main objectives: ensure the safety and security of source code
Pre-requisite to benefitting from formal methods: existing software tests
For any additional questions, please contact email@example.com.