Speeding innovation for industry
Success | Software technologies
TrustInSoft guarantees software engineers total immunity when faced with the most common types of cyber attacks. The company’s unrivalled solution has earned the recognition of the US National Institute of Standards and Technology (NIST).
Traditional source-code analysis methods entail verifying a multitude of attacks with no proof that all the potential vulnerabilities are actually covered. TrustInSoft Analyzer is different in that it mathematically guarantees that programs written in C and C++ will have no vulnerabilities to cyber threats. Potential breaches are always detected.This zero-error method makes the verification process shorter and less expensive. The system meets the needs of developers of critical applications in the aeronautics and nuclear sectors, but could also be used in the railway, space and defense, telecommunications, and other industries. TrustInSoft’s system utilizes the List- Inria Frama-C source-code analyzer, considered by the US National Institute of Standards and Technology (NIST) to be the only tool in the world capable of ensuring software immunity to cyber attacks.Founded in 2013, the startup has established a joint laboratory with List and counts users in Europe, the United States, and Japan.
Resources and skills
CEA is a French government-funded technological research organisation in four main areas: low-carbon energies, defense and security, information technologies and health technologies. A prominent player in the European Research Area, it is involved in setting up collaborative projects with many partners around the world.