Clik here to view.
Dassault Aviation Interview
Many thanks go to Bruno Stoufflet, and the Dassault Aviation team for their precious trust, time, and answers. The post Dassault Aviation Interview appeared first on TrustInsoft.
View ArticleBulletproof 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...
View ArticleCybersecurity 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...
View ArticleHow TrustInSoft Can Help Protect Critical Infrastructure
A few weeks ago we attended a conference in London that was focused on protecting critical assets. One thing in particular that the conference highlighted was the need for robust cyber security....
View ArticleHappy 2017 from TrustInSoft
The post Happy 2017 from TrustInSoft appeared first on TrustInsoft.
View ArticleNato 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...
View ArticleProve&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...
View ArticleTrustInSoft raises $1.2M from Idinvest Partners
Print: english, français. TrustInSoft raises $1.2M from Idinvest Partners to change the rules in software development and automate code vulnerability detection at a wide scale. TrustInSoft is the first...
View ArticleTrustInSoft Jobs 2017
We are always looking for talented and passionate people to join the TrustInSoft Team! Are you familiar with OCaml Programming? Send your RESUME at jobs@trust-in-soft.com now! The post TrustInSoft Jobs...
View ArticleTrustInSoft TOP 25 IoT Solution Providers in 2017
TrustInSoft is recognized as one of the TOP 25 IoT Solution Providers of 2017 by CIO Online. Read the article and CEO Fabrice Derepas‘ Interview: The post TrustInSoft TOP 25 IoT Solution Providers in...
View ArticleTrustInSoft: Winner of the Smart Security Week Innovation Awards 2017
TrustInSoft proudly received the 2017 Innovation award from the SmartSecurityWeek Awards under the category “Cybersecurity”. The SmartSecurityWeek is rewarding and recognizing innovation in technology...
View ArticleTaking 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...
View ArticleOur 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...
View ArticleMeet 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...
View ArticleHappy 2018 from TrustInSoft
Happy 2018 from all of us at TrustInSoft. What we achieved in 2017 thanks to you, is just the beginning. Thank you to our community for this great year! Keep your software secure & code safely!...
View ArticleMichele Alberti wins LOPSTR 2017 Best Paper Award
In October 2017, our dear employee, Michele Alberti attended the 27th International Symposium on Logic-Based Program Synthesis and Transformation in Namur in Belgium. The LOPSTR series of conferences...
View ArticleApplying 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...
View ArticleRaphaë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...
View ArticleTrustInSoft raises €5M to push into the self-driving car and IoT markets
Through its Brienne III cybersecurity fund –first of it’s kind in France– ACE Management leads this round followed by TrustInSoft’s longstanding shareholders, Idinvest Partners and business angels....
View Article