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

Our employee Raphaël Rieu-Helft attended the 9thInternational Joint Conference on Automated Reasoning, within the Federated Logic Conference at the prestigious Oxford University.

There, he presented “A Why3 framework for reflection proofs and its application to GMP’s algorithms” co-authored with Guillaume Melquiond from Inria. This framework makes it easier to write dedicated decision procedures that make full use of Why3’s imperative features and are formally verified. Raphaël uses it to formally verify GMP’s algorithms.

Have a look at his presentation here

As we are always striving for continuous scientific improvements, we are truly proud of Raphaël’s achievement.


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

Our CTO Benjamin Monate giving a talk at the Sound Static Analysis for Security Workshop 2018 at the National Institute for Standards & Technology (NIST).

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

Find the slides of Benjamin’s talk at the NIST here 

Formal methods-based source code verification tools have a very strong promise: mathematically prove that a piece of software is perfect. In some specific economic sectors, new languages have been adopted to help developers build perfect-by-construction software. But the vast majority of software is not perfect-by-construction and experience shows that it comes with tons of bugs. In this talk, Monate discussed what developers can expect from the application of formal methods-based tools to existing imperfect-by-construction code bases, what they should not expect, and how such tools will help make the software better and better by incrementally reducing its hidden technical debt.

This work has been supported by the Core Infrastructure Initiative of the Linux foundation.

Meet us at NIST 2018

Are you a developer, manager, evaluator of security-critical projects? Are you a researcher in cybersecurity? Looking to slay dragons AND software vulnerabilities?

Then the 2018 Sound Static Analysis for Security two-day Workshop is for you! We are sponsoring the Workshop and are proud to have our CTO, Benjamin Monate as Guest-Speaker to discuss application of formal methods to flawed code-bases.

Register here, and join us at the National Institute for Standards and Technology (NIST) in Gaithersburg, MD on the 27th & 28th of June 2018.

You will get hands-on practical advices such as: the analysis of legacy code, uses in new developments, accountable for software quality. Most of all, master the art of expertly detecting your software security breaches.

Meet us at CES2018 in Las Vegas

From tech powerhouses to innovative startups, companies big and small from all industries come to CES to introduce the latest innovation to the global market. It has served as the proving ground for innovators and breakthrough technologies for 50 years — the global stage where next-generation innovations are introduced to the marketplace.

TrustInSoft will be attending this years edition of CES in order to showcase the innovative technology behind the TrustInSoft Source Code Analyzer.

Want to know more about how you can validate your software? Come meet TrustInSoft at the Business France Automotive Pavilion, stand CP-5, Central Plaza, at CES, on January 9-12, 2018.

See you there!

Come meet us at ESC SILICON VALLEY 2017

TrustInSoft is attending Silicon Valley’s Premier Embedded Systems Showcase on December 5-7, 2017, at the San Jose Convention Center.
ESC Silicon Valley provides access to a comprehensive showcase of industry suppliers and technical education, including presentations, demos, and teardowns. From Embedded Software Design & Verification, to Connected Devices,  Advanced Technologies,  IoT & Security, ESC Silicon Valley allows to experience technologies that can lower costs, increase efficiency, and deliver game-changing solutions. TrustInSoft Analyzer is one of the technologies showcased at this year’s Embedded Systems Conference in San Jose.


If you are interested in knowing more about how TrustInSoft make you guarantee Safety and Security in Embedded Systems, stop by booth 1820.

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

TrustInSoft attended ARMTechCon last week from the 24th to the 26th of October in Santa Clara, CA.  It was a great show, and our booth was very busy.

We also hosted our product launch party on Wednesday 25th. We enjoyed a great keynote by Dr. Murray, our CTO’s new product announcement, and a live demo. It was also a great time to network with our guests while sharing appetizers and champagne.

However, the star of the show was and remains our 1st Free & Online Source Code Analyzer.

Try it now

Taking it to the next level

Imagine a dragon without fire. You can’t, right? Well, we can’t imagine a software without mathematical guarantees either. Learn how to formally verify YOUR code with the very 1st free & online source code analyzer. Free champagne, live demos, free beta access, and keynotes from outstanding researchers. Don’t miss out!

5 Reasons to participate

  • Opening keynote by Dr. John Murray, Program Director at SRI International Computer Science Laboratory, about Formal Methods & Software Validation in the real world
  • Announcement speech by CTO Benjamin Monate, introducing the 1st Free & Online Source Code Analyzer with mathematical guarantees
  • Live static source code analysis demo
  • Cocktail & Networking
  • Get a FREE Expo Pass or a 20% discount on a Conference Pass at ARM TECHCON 2017 from TrustInSoft using the code: “INVITE”

Don’t miss out, REGISTER NOW!


TrustInSoft at ISSA Conference & SDN NFV World Congress

It is important for us to have a presence in all the events that are related to our fields of knowledge and expertise: Safety & Cybersecurity. 

This week, TrustInSoft is attending the 2017 edition of the ISSA World Conference in San Diego, as well as the SDN NFV World Congress 2017 in the Hague, at the same time.

This year’s edition of the ISSA World Conference is gathering cybersecurity professionals from around the world, to discuss around the theme: “The Digital Danger Zone“, and we are glad to be a part of it. Meet us there at booth #508!

The SDN NFV World Congress has established itself to be the world’s largest meeting place for carrier Network Transformation industry leaders. SDN NFV World Congress is the industry leading debating forum and showcase for the rapidly growing and massively influential, Software-Defined Networking. Come to the TrustInSoft booth on the pod zone, and let’s talk about software validation!

Come see us at World e-ID & CyberSecurity 2017

TrustInSoft is attending the 13th edition of World e-ID and Cybersecurity congress at palais Pharo, an exceptional setting . This year’s edition explores the latest secure identification technologies, their implementation and the related online trust challenges.

Within Smart Security Week, additional learning, networking and innovation discovery events are also part of the agenda: exhibition & demos, workshops & tutorials, awards ceremony… along with multiple bridges with the co-located conferences addressing identity for developmentIoT security, & cyberthreat intelligence.

If you are interested in obtaining more information about TrustInSoft, fill out the Contact Us form on our website or stop by our booth.

TrustInSoft has also been nominated in the ” Cybersecurity ” category, results this evening.  Stay tuned!