Most Influential Paper of PLDI 2012, Awarded at PLDI 2022- Chief Scientist Pascal Cuoq
Back to news TrustInSoft’s Pascal Cuoq wins the prestigious honor of being an author of an influential paper that has stood the test of time PLDI 2012 Award-Influential Paper Stands the Test of Time TrustInSoft’s very own Chief Scientist and co-founder Pascal Cuoq was recently awarded the Most Influential Paper of PLDI 2012 at […]
Why exhaustive static analysis is ideally suited for ensuring the security of low-level code
icon/arrow Back to news Read more in the free white paper: From Bare Metal to Kernel Code: How Exhaustive Static Analysis Can Guarantee Airtight Security in Low-level Software and Firmware and discover two practical use cases In Part 1 of this series, we discussed why ensuring the security of low-level code—the code used in OS kernels, device […]
Why conventional static analysis and software testing are not ideal for removing security vulnerabilities from low-level code
icon/arrow Back to news Discover some of the drawbacks to traditional testing methods and modern alternatives in this blog or for the full white paper, click here In the first post of this series, we discussed why ensuring the security of low-level code—the code used in OS kernels, device firmware and other applications that interface directly […]
Why low-level code has become the new focal point of cybersecurity for embedded systems
icon/arrow Back to news The rapid expansion of connected devices and applications poses cybersecurity threats for embedded systems, download the free white paper to learn about the risks and possible solutions From smartphones to gaming consoles, automobiles to self-service fuel pumps, medical implants to smart-home technologies, the number of connected devices that touch our lives […]
TrustInSoft to Showcase Advanced Embedded Software Bug Detection at CES 2023: Introducing Proven Zero Bug Software
icon/arrow Back to news Experience a live demo of TrustInSoft Analyzer at the booth with Technical Presales Consultant Olivier Korach See TrustInSoft Analyzer in Action at the Consumer Electronics Show 2023 In Las Vegas TrustInSoft will be demonstrating live advanced bug detection with its interactive booth at the 2023 CES show in Las Vegas. TrustInSoft, […]
TrustInSoft Enters the Automotive Market with Exhaustive Static Code Analysis Tool For Safety and Cybersecurity Critical Software
Back to news Visit TrustInSoft at the Consumer Electronics Show at the French Automotive Pavilion in the Las Vegas Convention Center West Hall, Booth 5400 to learn more and see a demo. /*! elementor – v3.9.0 – 06-12-2022 */ .elementor-widget-image{text-align:center}.elementor-widget-image a{display:inline-block}.elementor-widget-image a img[src$=”.svg”]{width:48px}.elementor-widget-image img{vertical-align:middle;display:inline-block} /*! elementor – v3.9.0 – 06-12-2022 */ .elementor-heading-title{padding:0;margin:0;line-height:1}.elementor-widget-heading .elementor-heading-title[class*=elementor-size-]>a{color:inherit;font-size:inherit;line-height:inherit}.elementor-widget-heading .elementor-heading-title.elementor-size-small{font-size:15px}.elementor-widget-heading .elementor-heading-title.elementor-size-medium{font-size:19px}.elementor-widget-heading […]
From Bare Metal to Kernel Code:How Exhaustive Static Analysis Can Guarantee Airtight Security in Low-level Software and Firmware
icon/arrow Back to news TrustInSoft’s new white paper examines how exhaustive static analysis can guarantee airtight security in low-level software and firmware applications… and why traditional static analysis and software testing can’t Why Do You Need To Achieve Airtight Security in Low-Level Software and Firmware? The widespread proliferation of connectivity in embedded systems has made […]
Ensuring Compliance for Critical Devices For the Cyber Resilience Act
icon/arrow Back to news The Cyber Resilience Act brings new requirements for IoT Devices in Europe, find out how TrustInSoft can help meet them and put you ahead of the curve Table of Contents Introduction Breakdown of Objectives Cyber Resilience Act Classes How TrustInSoft Analyzer Can Help How to Go Beyond Compliance Introduction The Cyber […]
CERT C Benchmark
icon/arrow 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 […]
Why safety-critical software is hitting the “affordability wall” and how system developers can cut its cost dramatically
Back to news This post is Part 1 of a 3-part series derived from TrustInSoft’s latest white paper, “Delivering Safety-Critical Software Faster and Cheaper: How Exhaustive Static Analysis Guarantees Correctness and Security while Reducing Cost and Schedule.” To obtain a FREE copy, CLICK HERE. Introduction In this series of three blog articles, we will start […]