Caroline Guillaume Appointed TrustInSoft CEO
Back to news TrustInSoft welcomes former COO Caroline Guillaume as Chief Executive Officer /*! elementor – v3.17.0 – 25-10-2023 */ .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.17.0 – 25-10-2023 */ .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 .elementor-heading-title.elementor-size-large{font-size:29px}.elementor-widget-heading .elementor-heading-title.elementor-size-xl{font-size:39px}.elementor-widget-heading .elementor-heading-title.elementor-size-xxl{font-size:59px} TrustInSoft Announces New CEO TrustInSoft is delighted to announce a pivotal moment in TrustInSoft’s evolution. […]
TRUSTINSOFT ANALYZER DEMO
Demonstration of TrustInSoft Analyzer: C/C++ source code exhaustive static analysis tool https://www.youtube.com/watch?v=G1husGoT10Q See TrustInSoft Analyzer in action with Sr. Systems Engineer Jason Landers. In this demonstration, you will learn how TrustInSoft Analyzer can be used to obtain a mathematical guarantee of software safety, security, and reliability. This is done by using formal methods to identify […]
How TrustInSoft Analyzer improves automotive software security and lowers the cost of ISO/SAE 21434 compliance
Back to news /*! elementor – v3.17.0 – 25-10-2023 */ .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} This post concludes a three-part series examining the implications of the ISO/SAE 21434 automotive cybersecurity standard from a software development perspective. In Part 1, we looked at how recent trends in the industry are rapidly increasing vehicle attack surfaces, and […]
ISO/SAE 21434 – Why it’s needed and the challenges it presents to automotive software developers
Back to news /*! elementor – v3.17.0 – 25-10-2023 */ .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} Over the past two decades, innovation, competition and customer demand have greatly increased the automotive industry’s dependence on software and connectivity. Rapid innovation has transformed motor vehicles from mostly mechanical machines into highly complex, highly connected cyber-physical systems. Unfortunately, […]
TrustInSoft Analyzer Breaks New Ground in Software Validation on Emulated Target Hardware and Associated Memory Mapping
Back to news Enhanced feature emulates architecture with ultimate precision Press Release PARIS and SAN FRANCISCO—11th December 2023 — TrustInSoft, the leader in exhaustive C/C++ software source code analysis, announced today that TrustInSoft Analyzer now includes memory mapping, in addition to its already highly accurate target hardware awareness. Low-level software relies on mappings between program […]
Going Beyond Fuzzing for Airtight Security
icon/arrow Back to news Even when used with the best analysis tools, fuzzing will not provide perfect code coverage. For your most security-critical applications, you may need to go further. In Part 1 of this series , we introduced the software verification technique called fuzzing. We described what it is, who uses it and why, the […]
Optimizing Fuzzing to Eliminate More Vulnerabilities
icon/arrow Back to news Fuzzing has its limitations. Formal methods can help you overcome them. In the first post of this series , we introduced the software verification technique called fuzzing. We described what it is, who uses it and why, the tools involved, and the benefits of fuzzing. In this post, we’ll examine the limitations […]
An Introduction to Fuzzing
Back to news What it is, who uses it and why, its benefits and the tools involved? The rapid growth in the connectivity of software-driven products over the last several years is expected to continue for the foreseeable future.[1], [2] That growth, however, has also increased both the attack surfaces of those products and the […]
Application of Formal Methods to High-Security Requirements Software
icon/arrow Back to news Watch this webinar on the application of formal methods to high-security requirements of software presented by ASRG Watch the Webinar https://youtu.be/YLWMn0Lk4rI Watch this webinar hosted by the Automotive Security Research Group (ASRG) to explore how Formal Methods have become a mainstream technology to address safety and security across various industry verticals, including […]
TrustInSoft Analyzer Drives Results on the Toyota Infotechnology Center (ITC) Test Suite
icon/arrow Back to news Learn more about the benchmark of static analysis tools for the purpose of comparing solutions for automotive safety and security practices & TrustInSoft Analyzer’s results on the ITC test suite Context The Toyota Infotechnology Center (ITC) test suite, created for C/C++ static analysis tools, was designed to quantitatively evaluate industry tools […]
