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 […]
Embedded Toolbox: Exterminate Source Code Bugs with TrustInSoft
Back to news Watch Embedded Computing Design Editor-In-Chief Brandon Lewis and TrustInSoft Senior Technical Presales Consultant Olivier Korach uncover source code bugs with TrustInSoft Analyzer /*! elementor – v3.12.1 – 02-04-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.12.1 – 02-04-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} View the Demonstration: […]
Interview: Build, Ship, Run – Implementing Security from the Inside Out
icon/arrow Back to news 6 Burning Questions about Cybersecurity: Interview with TrustInSoft CEO Fabrice Derepas and Quarkslab CEO Fred Raynal https://youtu.be/p8rNt2Ihoj0 Newsletter Related articles See more news
Demo
Back to news Tour guide demo of TrustInSoft Analyzer and its 2016 code editing and progress charts features on the ntpd daemon TrustInSoft Analyzer Demo https://youtu.be/Qt9mqynLCH4 Newsletter Related articles See more news
TrustInSoft is among the 10 most innovative companies in 2015
Back to news Discover TrustInSoft’s pitch and supporting materials TrustInSoft Recognised as a top 10 Innovative Company Thanks to its unique ability to deliver guarantees on software, TrustInSoft has been selected among the 10 most innovative companies in 2015. Here is our pitch. Here are the highlights of RSA Conference Innovation Sandbox 2015 Thank […]
Looking for undefined behavior in ntpd
Back to news Video demonstration of TrustInSoft Analyzer and the eradication of runtime errors Eradicate NTPD runtime errors This is TrustInSoft Analyzer: it is used by customers since 2014 but no public video was available until now. This is the “Episode 1”: it focuses on one specific usage pattern and does not show-case all of TrustInSoft […]
