June 9th, 2021
TrustInSoft presents a new Zero Bug Application Security Test (AST) for the automotive and autonomous driving market that proves the absence of bugs in car manufacturers’ systems.
June 9th, 2021
TrustInSoft announces free tools for Googlers participating in Google’s Summer of Code that provide the power of formal methods for C/C++ source code to guarantee bug free code.
November 4th, 2019
Through its Brienne III cybersecurity fund –first of its kind in France– ACE Management leads this round followed by TrustInSoft’s longstanding shareholders, Idinvest Partners and business angels.
March 9th, 2017
TrustInSoft raises $1.2M from Idinvest Partners to change the rules in software development and automate code vulnerability detection at a wide scale.
March 16th, 2015
How is it possible to protect smartphones, information systems, and computers from cyber threats? To answer these questions, the National Institute of Standards and Technology (NIST) launched the Static Analysis Tool Exposition (SATE). Our Frama-C technology was the only technology to meet rigorous Ockham criteria…
August 17th, 2015
The stakes have never been higher for the open-source software community and the millions of people across the world who rely on a wide variety of software, such as OpenSSL, where security is critical. That’s why the Linux Foundation’s Core Infrastructure Initiative has selected TrustInSoft to leverage its groundbreaking technology to help provide the open-source community with an easy-to-use tool that is also effective at finding bugs in open-source critical code that other technologies miss.
March 15th, 2015
TrustInSoft today has been named one of 10 finalists for RSA® Conference Innovation Sandbox Contest 2015, which is celebrating its 10-year anniversary this year. On Monday, April 20, 2015, TrustInSoft will have the opportunity to showcase its innovative information security technology to the Innovation Sandbox Contest panel of judges for a chance to be named “Most Innovative Company at RSA Conference 2015.”
October 10th, 2014
Software is getting increasingly entwined with our daily lives, whether through our mobile devices (smartphones, tablets, laptops), Cloud services, or the Internet of Things. At the same time, industrial applications that used to be independent are increasingly connected to other systems