November 9th, 2021
Download New TrustInSoft White Paper and Learn How to Guarantee Devices are Error-free, Secure and Reliable
September 15th, 2021
Bye, bye Pegasus: the new offer allows mobile app developers to prove the absence of vulnerabilities in C and C++ code, libraries, and APIs
June 30th, 2021
TrustInSoft announces a new application security test specifically designed to mathematically guarantee
bug-free code in embedded Internet of Things (IoT) devices.
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
L’Usine Digitale – July 22nd, 2020
La lettre A – April 5th, 2020
Infoprotection – March 17th, 2019
Les Échos – November 4th, 2020
Boursier – November 4th, 2019
L’embarqué – November 4th, 2019
Unquote – November 4th, 2019
MyFrenchStartUp – November 4th, 2019
Transport Info – September 17th, 2018
Usine Nouvelle March 9th, 2018
Le Monde Informatique January 25th, 2018
Les Échos Business – March 19th, 2017
Industrie & Technologies – October 10th, 2016
Usine Digitale – January 26th, 2016
Usine Digitale – January 26th, 2016
Industrie & Technologies – January 26th, 2016
Industrie & Technologie – December 15th, 2015
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.
All rights reserved © TrustInSoft 2021
