CERT C Benchmark

Back to news What is CERT C & why is it especially relevant to improve code safety, reliability, and security? Table of Contents What is CERT C & why is it especially relevant to improve code safety, reliability, and security? The Benchmark Breakdown Undefined Behavior Only Rules All CERT C Rules Medium-High Severity Rules High […]

Proving the Security of Low-Level Software Components & TEEs

icon/arrow Back to news The role of formal methods in securing low-level software components and TEEs Semiconductors and Their Significance Semiconductors are at the core of many things we see around us: from game consoles, mobile devices, smart meters to automotive vehicles to aircrafts and equipment used in industrial settings and mission critical domains such […]

How Exhaustive Static Analysis can Prove the Security of TEEs

icon/arrow Back to news TrustInSoft’s new white paper, How Exhaustive Static Analysis Can Prove the Security of TEEs, explains why organizations that rely on trusted execution environments within their devices should adopt this new technology. The Trusted Execution Environment (TEE) within a processor has become a key component for protecting sensitive data and applications from unauthorized access.  To fulfill […]

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 […]

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 […]

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, […]