Prove&Run and TrustInSoft Extend their Partnership in SoftwareSecurity


Paris, France – March 6th, 2017 – With the advent of the IoT and the growing number of sophisticated cyber-attacks on connected systems, customers need to raise the quality and robustness of their software projects so as to get as close to possible to zero-defects.

To further their existing partnership on tools and services, Prove & Run and TrustInSoft have decided to extend their partnership: TrustInSoft will promote ProvenCore, Prove & Run’s ultra-secure OS, to their customers looking for a platform to run security-critical applications while Prove & Run will promote using TrustInSoft Analyzer for verifying security applications running on top of ProvenCore.

“The security properties of ProvenCore have been formally proven, down to generated code,” explains Fabrice Derepas, TrustInSoft’s CEO. “This creates the best security foundation for highly secure applications.”

“With TrustInSoft Analyzer, the security applications running on top of ProvenCore can be brought to the highest level of confidence in the most cost-effective manner“ concludes Dominique Bolignano, President and Founder of Prove & Run.

About Prove & Run

Prove & Run’s mission is to help its customers resolve the security challenges linked to the large-scale deployment of connected devices and of the Internet of Things by providing cost effective off-the-shelf software solutions that dramatically improve the level of security of connected systems so as to protect them against remote cyber-attacks. Further information can be found at

About TrustInSoft

TrustInSoft’s mission is to empower its customers to guarantee the quality of critical software assets. Its advanced source code analyzer provides mathematical guarantees and can be used efficiently on existing legacy, proprietary or open source software applications. Further information can be found at

Nato and the Future of Cybersecurity

Cybersecurity is a quickly developing industry. NATO’s objective is to detect emerging cybersecurity challenges. Jamie Shea, Deputy Assistant Secretary General for Emerging Security Challenges at NATO is tasked with this monumental undertaking.

In the above picture Jamie Shea discusses how mathematical methods can help guarantee software behavior.

Jamie Shea talks with Fabrice Derepas and Najoua Kaabi (located on the right of the photo) of TrustInSoft. TrustInSoft is a start-up based in both the United States and France. TrustInSoft provides mathematical solutions that guarantee software quality. Jean-Noël de Galzain (located on the left side of the photo) also participated in the discussion. Jean-Noël de Galzain is the president of Hexatrust, a club founded by a group of French SMEs that are complementary players with expertise in information security systems, cybersecurity, and digital trust.

Come See TrustInSoft at ARM TechCon

TrustInSoft is attending the world’s biggest ARM event, ARM TechCon October 25-27 at the Santa Clara Convention Center. The conference brings together top tier suppliers who are able to meet specific embedded needs. We will be showcasing our MbedTLS verification kit, which details how to configure and compile mbedTLS so that the core components of this SSL/TLS stacks are immune to buffer overflows. This unique approach to software validation sets new rules for critical software components.


If you are interested in obtaining a complete list of open source components that TrustInSoft can verify, fill out the Contact Us form on our website or stop by booth 732. 

Cybersecurity Insights and Trends


Come and Meet TrustInSoft at the Security TechMeeting on Wednesday March 2nd powered by the The Open Innovation Club.

You’ll get an insight on how it’s now possible to make a piece of software immune to most common cyber treats.

If you are in need of technical info do note hesistate have a look at the free version of the PolarSSL Verification Kit

You can register here.

Event starts at 5:30 PM on 2325 Third street, suite 231 in San Francisco.

Bulletproof software for cars


You want to build bulletproof software for your car?

Come and meet TrustInSoft at Automotive Cybersecurity Summit on October 6 and 7 in Hotel Kabuki.

You’ll discover how formal methods can help you secure the most sensitive software assets in your system.

TrustInSoft is among the 10 most innovative companies in 2015

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.

Associated slides:

Here are the highlights of RSA Conference Innovation Sandbox 2015

Thank you for all the constructive interactions at our kiosk after the pitch session.

Read the Full press release.

TrustInSoft is ready to secure connected cars!


TrustInSoft has been selected among 8 french companies to tackle the US market for connected vehicules.
The jury was composed of selected experts:

  • Dr. Chris Urmson, Director, Self-Driving Cars Project Google,
  • Dr. Peter Sweatman, Director, University of Michigan Transportation Research Institute UMTRI, University of Michigan,
  • Dr. Andrew Brown, Vice President and Chief Technologist, Delphi
  • Mr. Phil Abram, Chief Infotainment Officer, General Motors Corporation,
  • Mr. Thomas West, California Program for Advanced Transportation Technology (PATH), The University of California à Berkeley

Here is what TrustInSoft is bringing to the table.

1) TrustInSoft is a software security startup that has already made great strides in verifying communication stacks, or the vulnerable interaction between a connected “Thing” and the internet.

For example, TrustInSoft’s static source code analysis tool has been instrumental in finding and eliminating flaws in smart factories, where computers communicate wirelessly with the factories’ assembly machines. By securing the wireless communication stack between the internet and these machines, cars are no longer vulnerable to hackers’ attempted exploitation.

2) Thanks to a growing awareness of security issues plaguing wireless components—including routers—it soon won’t be a cost-effective business model for assembly companies to ignore the security of software components. Once end-users start to demand higher security from every level, router-branding companies, for examples, won’t be able to afford to sell components with anything less than flawless software.

TrustInSoft is able to comprehensively guarantee the absence of entire families of software flaws through the application of multiple formal models. Soon, as awareness grows, companies who can claim “TrustInSoft Verified” status for their connected vehicules’ software components will gain more customers and more profits, despite the cost of thorough source code verification.