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. The company was started in 2013, the Paris-based company produces the TrustInSoft Analyzer, an advanced static source code analyzer based on the Frama-C platform. The TrustInSoft Analyzer enables software developers and integrators to exhaustively detect the most frequent and dangerous families of threats before deployment. TrustInSoft also offers professional services and expertise to formally audit safety and security-critical existing software components.
Company Mission ("Tagline"): #Software publisher that provides tools to mathematically guarantee the #safety and #cybersecurity of C & C++ software
Industry Classification: Computer (Cybersecurity) Software
Cybersecurity Specializations: Cybersecurity, Software Security, and Software Reliability
Address/Location: 222 avenue du Maine, Paris, 75014, FR, France
This oganization might be multinational; we list their HQ.
Company Size: 11-50 employees
Year of Incorporation: 2013
Main Website: TrustInSoft
(Our Estimate) Funding (2021): US$ 5.5M
This is our estimate, might need updating.
Discovered TrustInSoft Social Media Accounts