TrustInSoft’s Exhaustive Static Analysis Proves the Security of Trusted Execution Environments

icon/arrow Back to news Download New TrustInSoft White Paper and Learn How to Guarantee Devices are Error-free, Secure and Reliable Paris and San Francisco – November 9, 2021 PRESS RELEASE TrustInSoft’s Exhaustive Static Analysis Proves the Security of Trusted Execution Environments Download New TrustInSoft White Paper and Learn How to Guarantee Devices are Error-free, Secure […]

Cybersecurity Awareness Month with TrustInSoft

icon/arrow Back to news October is #CybersecurityAwarenessMonth! The U.S. Department of Homeland Security and the National Cyber Security Alliance created the National Cyber Security Month (NCSAM) in 2003, since renamed Cybersecurity Awareness Month. It takes place every year during October, to ensure safety and security online. Each week has its own theme to focus on […]

Bye, bye Pegasus – New Application Security Test

icon/arrow Back to news TrustInSoft Mathematically Guarantees Zero-Bug Mobile Applications with New Application Security Test PRESS RELEASE TrustInSoft Mathematically Guarantees Zero-Bug Mobile Applications with New Application Security Test Bye, bye Pegasus: the new offer allows mobile app developers to prove the absence of vulnerabilities in C and C++ code, libraries, and APIs Cybersecurity software company […]

How to protect your code from Pegasus spyware

icon/arrow Back to news Learn how to stop Pegasus-like attacks and protect your code from buffer overflows and other exploitable vulnerabilities Introduction You may have heard of Pegasus, a surveillance software produced by an Israeli company, the NSO Group, for anti-crime and anti-terrorism purposes.     It is back in the news for the alleged spying on 180 […]

TrustInSoft Announces Bug Free IoT Application Security Test

icon/arrow Back to news Make Your Applications Compliant with Revised White House Cybersecurity Guidance PRESS RELEASE TrustInSoft, a cybersecurity software company, today announced an Application Security Test (AST) specifically designed to mathematically guarantee bug-free code in embedded Internet of Things (IoT) devices. This AST for IoT is based on TrustInSoft’s Analyzer to provide the equivalent […]

TrustInSoft Mathematically Guarantees Zero Bug Vehicles with New Application Security Test

icon/arrow Back to news Automated Formal Methods Testing for Automotive and Autonomous Driving Application Software Ensures Bulletproof Code for Real World Applications PRESS RELEASE San Francisco and Paris, June 9th, 2021   TrustInSoft, a cybersecurity software company, today announced a new Zero Bug Application Security Test (AST) for the automotive and autonomous driving market that […]

5 reasons to join TrustInSoft at the virtual FIC 2021

icon/arrow Back to news Find out why you shouldn’t miss the International Cybersecurity Forum With the ongoing pandemic many major events in the cybersecurity space have had to adapt to a cyber format.  The FIC (International Cybersecurity Forum) is no exception; the event will be divided into a preliminary Virtual FIC event from June 1st […]

Mitsubishi Electric R&D Centre Europe creates reliable innovation with TrustInSoft

icon/arrow Back to news Mitsubishi Electric R&D Centre Europe faced the challenge of confirming the safety and reliability of more than 300,000 lines of code Who is Mitsubishi Electric R&D Centre Europe (MERCE)? A key component of Europe’s leading R&D community, Mitsubishi Electric R&D Centre Europe (MERCE) researches and develops innovative solutions relating to energy, […]