TrustInSoft raises €5M to push into the self-driving car and IoT markets

Press November 4, 2019

Printing a null pointer with %s is undefined behavior

Technical Article July 9, 2019

Meet TrustInSoft at Frama-C & SPARK Day 2019

Events May 27, 2019

Upgrade your existing test suites with TrustInSoft

Product January 31, 2019

TSnippet: An Online Tool for Investigating Undefined Behaviors in C Programs

Product September 26, 2018

Outlining the language C programs should be written in

Technical Article September 18, 2018

How can essential operators be better prepared to face upcoming cybersecurity challenges?

Technical Article August 24, 2018

Raphaël Rieu-Helft presented his paper at Oxford University

Press July 19, 2018

Applying formal methods to existing software: what can you expect?

Press June 28, 2018

Meet us at NIST 2018

Events May 31, 2018

Michele Alberti wins LOPSTR 2017 Best Paper Award

Press May 22, 2018

Differences between the B method and Frama-C in Formal Methods

Technical Article March 18, 2018

Happy 2018 from TrustInSoft

Press January 4, 2018

Meet us at CES2018 in Las Vegas

Press December 21, 2017

Come meet us at ESC SILICON VALLEY 2017

Events December 7, 2017

Dassault Aviation Interview

Press November 7, 2017

Our 1st Free & Online Source Code Analyzer launched at Arm TechCon

Press October 31, 2017

Achieve ISO-26262 compliance with TrustInSoft Analyzer

Technical Article October 17, 2017

Taking it to the next level

Press October 12, 2017

TrustInSoft at ISSA Conference & SDN NFV World Congress

Events October 11, 2017

TrustInSoft: Winner of the Smart Security Week Innovation Awards 2017

Press September 27, 2017

Come see us at World e-ID & CyberSecurity 2017

Events September 26, 2017

Variadic Functions in TIS Interpreter

Technical Article September 18, 2017

TrustInSoft TOP 25 IoT Solution Providers in 2017

Press September 6, 2017

TrustInSoft Jobs 2017

Press September 5, 2017

An old quirky libksba bug

Technical Article June 27, 2017

Cisco invests in the future of cybersecurity

Technical Article March 12, 2017

TrustInSoft raises $1.2M from Idinvest Partners

Press March 9, 2017

Prove&Run and TrustInSoft Extend their Partnership in SoftwareSecurity

Press March 6, 2017

Nato and the Future of Cybersecurity

Press January 31, 2017

Strict aliasing violations analyzer: progress report

Technical Article January 27, 2017

Happy 2017 from TrustInSoft

Press January 4, 2017

Demo

Video December 7, 2016

Come See TrustInSoft at ARM TechCon

Events October 25, 2016

How TrustInSoft Can Help Protect Critical Infrastructure

Press October 10, 2016

Auditing zlib

Technical Article October 6, 2016

How do you report bugs that you alone can see?

Technical Article June 26, 2016

Trap representations and padding bits

Technical Article June 16, 2016

A non-exhaustive list of ways C compilers break for objects larger than PTRDIFF_MAX bytes

Technical Article May 20, 2016

Out-of-bounds pointers: a common pattern and how to avoid it

Technical Article April 20, 2016

Cybersecurity Insights and Trends

Press February 28, 2016

Fiddly buffer overrun in OpenSSL

Technical Article February 2, 2016

memcmp requires pointers to fully valid buffers

Technical Article December 21, 2015

tis-interpreter progress report

Technical Article December 11, 2015

Meet TrustInSoft at Data Connectors

Events December 1, 2015

Bulletproof software for cars

Press September 29, 2015

The cost of internet security flaws

Press September 29, 2015

Linux Foundation takes steps to make open-source software safer

Press August 31, 2015

Moving to a larger office space!

Archives July 31, 2015

The libc cross-testing project

Technical Article July 16, 2015

Compile-time consistency checks for types in C

Technical Article July 6, 2015

Pitching with Axelle Lemaire

Archives June 24, 2015

The sociology of open-source security fixes, continued

Technical Article May 7, 2015

TrustInSoft is among the 10 most innovative companies in 2015

Press April 23, 2015

TrustInSoft is ready to secure connected cars!

Press April 17, 2015

Watch “Most Innovative Company” contest online

Press April 17, 2015

TrustInSoft in the Top 10 Finalists of the “Most Innovative Company” contest

Press March 16, 2015

When in doubt, express intent, and leave the rest to the compiler

Technical Article March 15, 2015

Looking for undefined behavior in ntpd

Technical Article February 27, 2015

Handling security bugs is not the Open-Source community’s strong point

Technical Article February 17, 2015

2015 Internships at TrustInSoft

Press February 4, 2015

Printing an unsigned char with %x or %u is not absolutely correct

Technical Article January 15, 2015

An implementation of strings that you can trust to the end of the world

Technical Article October 30, 2014

Prove & Run and TrustInSoft join forces to increase software security

Press October 10, 2014

Fast & Serious

Press October 10, 2014

TrustInSoft joins HexaTrust

Archives October 10, 2014

Bash bug: failure of formal approaches to programming?

Technical Article September 27, 2014

A dangling pointer is indeterminate

Technical Article July 3, 2014

Finding vulnerabilities in small, challenge-like C programs

Technical Article June 3, 2014

Software-Defined Networking and Security

Press May 16, 2014

PolarSSL Verification Kit

Technical Article April 11, 2014

No More Heartbleed

Press April 8, 2014

NIST assessment

Press March 18, 2014

TrustInSoft technology meets NIST high assurance standards

Press March 16, 2014

Let’s meet in DC

Press March 12, 2014

Cybersecurity 2020

Technical Article March 3, 2014

Welcome Julien!

Archives February 9, 2014

Growing and moving

Archives February 3, 2014

HEC Best Business Plan Contest

Press January 23, 2014

Have a safe and secure year 2014!

Press December 30, 2013

Welcome Anne!

Archives December 1, 2013

Interview in UberStories

Press October 29, 2013

Delivering

Archives August 6, 2013

Startup Contest

Press July 3, 2013

Netva 2013

Press June 13, 2013

Foundation

Archives May 2, 2013

They support us!

Archives May 2, 2013