TrustInSoft

TrustInSoft provides advanced software security solutions, specializing in vulnerability detection and formal verification to ensure reliable and safe software products for various industries. Founded in 2013 in Paris, France, TrustInSoft focuses on software security, specifically through its core product, TrustInSoft Analyzer, which employs formal verification techniques. The company has completed 3 deals with the latest funding round of EUR 5 million occurring on January 17, 2020, led by Tikehau Investment Management with participation from Idinvest Partners. The founders, Benjamin Monate and Fabrice Derepas, have a history of innovation in software safety, with Fabrice Derepas currently serving as the CEO.

TrustInSoft specializes in software security and safety, offering a suite of advanced solutions designed to enhance the reliability and safety of software products. The core product, TrustInSoft Analyzer, utilizes abstract interpretation and formal verification techniques to mathematically guarantee the absence of vulnerabilities, enabling developers to deliver zero-defect software. This tool is particularly effective in detecting memory-related issues such as buffer overflows and memory leaks, thereby ensuring robust software performance across various execution paths. TrustInSoft's client base spans multiple industries, including automotive, telecommunications, industrial IoT, and critical systems, with notable international presence in markets such as North America, Europe, and Asia.

Their solutions are utilized by organizations committed to meeting stringent safety and security compliance standards, thereby addressing pressing needs in sectors where software failure can lead to significant financial and safety risks. TrustInSoft generates revenue through a combination of subscription-based models and direct partnerships with clients across various industries. The company's flagship product, TrustInSoft Analyzer, is typically offered as a subscription service, providing continuous access to its software analysis tools and ongoing updates. Clients, which include major players in the automotive and semiconductor industries, engage in transactions that may involve annual licensing agreements tailored to the specific needs of their projects.

The pricing structure is designed to accommodate different levels of service, potentially including tiered access based on the complexity of the software being analyzed. In addition to software subscriptions, TrustInSoft also provides formal verification services, which can be structured as project-based engagements, further diversifying its revenue streams while ensuring critical software safety and security for its clients. In January 2020, TrustInSoft raised EUR 5 million in venture funding led by Tikehau Capital, with participation from returning investor Idinvest Partners. The company plans to use this funding to expand its international presence in targeted markets.

TrustInSoft aims to introduce new products to enhance its offerings, although specific product launch dates have not been disclosed. The company is also focusing on geographic expansion into North America and Asia, which are key growth regions identified for the coming years.