TrustInSoft develops solutions that validate mission-critical software and eliminate attack vectors. The company's products reduce cyber risks, lower the cost of designing safety-critical systems, and reduce liabilities. Founded in 2013, the Paris-based company provides software developers, testers, and integrators with TrustInSoft Analyzer, an exhaustive static analysis tool that interprets source code using formal methods to detect all of the most frequent and dangerous families of threats and coding errors before deployment. TrustInSoft also offers professional services and expertise to formally audit safety and security-critical existing software components. For more information, visit https://trust-in-soft.com.
Location: France, Ile-de-France, Paris
Employees: 11-50
Total raised: $6.74M
Founded date: 2013
Investors 3
Funding Rounds 2
| Date | Series | Amount | Investors |
| 05.11.2019 | Series A | $5.54M | - |
| 15.03.2017 | - | $1.2M | - |
Mentions in press and media 9
| Date | Title | Description |
| 10.03.2026 | TrustInSoft Announces AI-Powered Advancements in April 2026 Release | TrustInSoft Analyzer TrustInSoft Analyzer brings a unique level of guarantees thanks to the use of sound formal methods.” — Caroline Guillaume, CEO of TrustInSoftPARIS, FRANCE, March 10, 2026 /EINPresswire.com/ -- TrustInSoft, a leading pro... |
| 12.05.2025 | Advancing Memory Safety: TrustInSoft's Role in Rust and Hybrid Code Verification | Created by Carl Williams Updated: May 12 2025, 05:40 AM EDT Share on Facebook Share on Twitter Share on LinkedIn Share on Reddit Share on Flipboard |
| 11.03.2025 | TrustInSoft Introduces Hybrid Rust, C, and C++ Analysis Service with Formal Methods for Complete Code Safety | RUST and TrustInSoft Mar_2025 Caroline Guillaume, TrustInSoft CEO TrustInSoft Logo TrustInSoft expands expertise with Rust Code Analysis Services to ensure safe and secure software that feature at Embedded World 2025. By taking advantage of... |
| 06.01.2025 | Top 5 Best Static Code Analysis Tools in 2025 | Created by Jerecho Parama Jan 06 2025, 17:45 PM EST Share on Facebook Share on Twitter Share on LinkedIn Share on Reddit Share on Flipboard |
| 06.01.2025 | In Conversation with Caroline Guillaume: The Visionary CEO Behind TrustInSoft | Created by Jerecho Parama Jan 06 2025, 17:42 PM EST Share on Facebook Share on Twitter Share on LinkedIn Share on Reddit Share on Flipboard |
| 15.09.2021 | TrustInSoft Mathematically Guarantees Zero-Bug Mobile Applications with New Application Security Test | Cybersecurity software company TrustInSoft announced a new offer for mobile app developers to prove the immunity of their code to cyber threats, in the wake of recent events involving Pegasus software. This latest application security test ... |
| 30.06.2021 | TrustInSoft Announces Bug-Free IoT Application Security Test Make Your Applications Compliant with Revised White House Cybersecurity Guidance | |
| 21.10.2019 | Стартапы недели: сервис для проверки кода, дорожные датчики, экологичная жаровня для кофе и другие | Подборка интересных стартапов от сооснователя United Investors. 2 2 комментария 3260 просмотров В сообществе «Стартап дня» на Facebook и в Telegram появилась новая рубрика: пару раз в неделю пишу о ключевых новостях рынка, тех вещах, которы... |
| 15.03.2017 | TrustInSoft Raises $1.2M in Funding | TrustInSoft, a Paris, France and San Francisco, CA-based provider of software for developers to automate code vulnerability detection at a wide scale, raised $1.2M in funding. Idinvest Partners made the investment. The company intends to us... |