Le Groupe ATEMPO.WOOXO accélère sa politique d’achats de solutions souveraines et noue un partenariat technologique avec TrustInSoft pour renforcer sa politique Security by Design

icon/arrow Back to news Le Groupe Atempo.Wooxo annonce un partenariat avec TrustInSoft Paris, le 18 Novembre 2020 – Le Groupe Atempo.Wooxo, leader européen des solutions de protection du patrimoine numérique professionnel avec une présence internationale, annonce un partenariat avec TrustInSoft pour renforcer la fiabilité de ses codes sources et conforter le niveau de sécurité de ses […]

Press Release

Back to news TrustInSoft cancels participation at the Embedded World 2020 Show in Nuremberg PRESS RELEASE Paris, February 20th 2020 Because health and well-being comes always first at TrustInSoft, Fabrice Derepas (co-founder and CEO at TrustInSoft) and Benjamin Monate (co-founder and CTO at TrustInSoft) made the prudent decision to cancel its employees’ participation to the Embedded […]

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

Back to news 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. PRESS RELEASE   Paris, 4 November 2019 – TrustInSoft, a cybersecurity software publisher whose technology provides software code reliability and security, based on mathematical proof, announces […]

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

Back to news Why3 framework for reflection proofs and its application to GMP’s algorithms Employee Presentation at International Joint Conference on Automated Reasoning Our employee Raphaël Rieu-Helft attended the 9th International Joint Conference on Automated Reasoning, within the Federated Logic Conference at the prestigious Oxford University. There, he presented “A Why3 framework for reflection proofs […]

Michele Alberti wins LOPSTR 2017 Best Paper Award

icon/arrow Back to news 27th International Symposium on Logic-Based Program Synthesis and Transformation Employee Achievement: 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 aims to stimulate and promote international research and […]

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

icon/arrow Back to news Product launch at ARMTechCon  Online Source Code Analyzer Launch 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 […]

Cisco invests in the future of cybersecurity

Back to news TrustInSoft changing the rules in software development and vulnerability detection Guaranteed Secure Code 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 company to offer developers a guarantee on the quality of their code, a […]

TrustInSoft raises $1.2M from Idinvest Partners

Back to news Automatic code vulnerability detection software investment 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 company to offer developers a guarantee on the quality of their code, a significant breakthrough for the software industry. After […]

Prove&Run and TrustInSoft Extend their Partnership in SoftwareSecurity

icon/arrow Back to news Further expansion of an existing partnership with the goal to strengthen software security  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 […]

Nato and the Future of Cybersecurity

icon/arrow Back to news Jamie Shea and TrustInSoft CEO Fabrice Derepas discuss formal methods  Evolution of Cybersecurity and NATO 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 […]