TRUSTINSOFT
TrustInSoft is a software company that develops solutions that validate mission-critical software and eliminate attack vectors. The company's products reduce cyber risks, lower the cost of designing safety-critical systems, and reduce liabilities. Founded in 2013, the Paris-based company produces the TrustInSoft Analyzer, an advanced static source code analyzer based on the Frama-C platform. The TrustInSoft Analyzer enables software developers and integrators to exhaustively detect the most frequent and dangerous families of threats before deployment. TrustInSoft also offers professional services and expertise to formally audit safety and security-critical existing software components.
TRUSTINSOFT
Industry:
Computer Cyber Security Network Security Software
Founded:
2013-05-02
Address:
Paris, Ile-de-France, France
Country:
France
Website Url:
http://www.trust-in-soft.com
Total Employee:
11+
Status:
Active
Contact:
+33 1 84 06 43 91
Total Funding:
12.42 M USD
Technology used in webpage:
Domain Not Resolving CrUX Dataset Cloudflare CDN Person Schema Cloudflare CrUX Top 50m Gravatar Profiles Cloudflare Network Error Logging Apple Mobile Web App Capable ASP.NET
Similar Organizations
Crypto Quantique
Crypto Quantique offers hardware based cyber-security solution for authentication and encryption in a wired local network.
Cybellum
Cybellum enables the product security team to develop and maintain secure connected products.
Digital Shadows
Digital Shadows identifies unwanted exposure, protect against external threats, and minimize digital risk.
Illusive
Illusive is a defense to eliminate attacker pathways that uses deception for detection of lateral movement of APTs, ransomware & threats.
PlexTrac
PlexTrac is a cybersecurity platform.
Softlock
Softlock is a regional leader in Information Security providing technology, state of the art solutions, consulting, integration.
TrustHQ
TrustHQ is a provider of cybersecurity management services to industries of all sizes and sectors.
TXOne Networks
TXOne Networks offers cybersecurity solutions to protect industrial control systems from cyberattacks.
Current Advisors List
Current Employees Featured
Founder
Investors List
Idinvest Partners
Idinvest Partners investment in Series A - TrustInSoft
Ace Capital Partners
Ace Capital Partners investment in Series A - TrustInSoft
Idinvest Partners
Idinvest Partners investment in Seed Round - TrustInSoft
WILCO
WILCO investment in Pre Seed Round - TrustInSoft
Newest Events participated
Participated in ARM TechCon
on 2017-10-24 as exhibitor
Participated in ISSA International Conference 2017
on 2017-10-09 as sponsor
Participated in VIVA Technology Startup Connect Paris 2016
on 2016-06-30 as exhibitor
Official Site Inspections
http://www.trust-in-soft.com Semrush global rank: 3.47 M Semrush visits lastest month: 3.8 K
- Host name: 76.76.21.21
- IP address: 76.76.21.21
- Location: United States
- Latitude: 37.751
- Longitude: -97.822
- Timezone: America/Chicago
More informations about "TrustInSoft"
What’s Psychological Safety at Work? Guide for Leaders & Teams
Feb 2, 2025 Organizations that foster psychological safety improve retention, engagement, and productivity. Leaders play a critical role—model openness, encourage learning, and address …See details»
TrustInSoft - Crunchbase Company Profile & Funding
TrustInSoft is a software company that develops solutions that validate mission-critical software and eliminate attack vectors. The company's products reduce cyber risks, lower the cost of …See details»
Software is increasingly being built by AI – so it’s vital …
4 days ago Software is ubiquitous, powering almost every aspect of our lives. The computerised systems in your car alone incorporate tens of millions of lines of code.The increasing digital transformation of ...See details»
TrustInSoft: Pioneers in Software Security and Safety
TrustInSoft’s advanced exhaustive static analysis tools and services help secure C/C++/ Rust code. Mathematically prove software safety and cybersecurity with this source code analyzerSee details»
Ferrous Systems Partnership - trust-in-soft.com
Feb 24, 2025 PARIS and BERLIN – February 25, 2025 – TrustInSoft, a leading provider of advanced software analysis tools and formal verification for software security, has formed a …See details»
TrustInSoft - LinkedIn
TrustInSoft has recently joined the Safety-Critical Rust Consortium with the Rust Foundation, aimed to support the responsible use of the Rust programming language in safety-critical …See details»
TrustInSoft and Ferrous Systems partner to bring Rust code …
Mar 7, 2025 Many organizations are also migrating specific modules to Rust while maintaining legacy C/C++ codebases due to the vast ecosystem of libraries and the high cost of full …See details»
In Conversation with Caroline Guillaume: The Visionary CEO …
Jan 6, 2025 TrustInSoft CEO Caroline Guillaume shares insights on revolutionizing software safety, innovation in formal methods, company culture, and advice for aspiring leaders.See details»
TrustInSoft and Ferrous Systems Partner to Bring Rust Code …
Feb 26, 2025 About TrustInSoft. TrustInSoft is a leader in advanced software analysis tools and services that specializes in formal verification of C and C++ source code to ensure safety, …See details»
embedded world | TrustInSoft SAS
Www.trust-in-soft.com. Send email. Tel.: +33 1 84 06 43 91. YouTube LinkedIn X Facebook. About us. TrustInSoft develops solutions that validate mission-critical software and eliminate …See details»
Press Release: Rust Code Analysis Services - trust-in-soft.com
Paris, France – March 11, 2025 – TrustInSoft, a leading provider of advanced software analysis tools, has launched Rust Code Analysis Services, the only code analysis solution currently …See details»
Fabrice Derepas - Chief Evangelist at TrustInSoft | The Org
Fabrice Derepas is a Chief Evangelist at TrustInSoft with a background in software and system design. As a Cofounder & CEO, Fabrice successfully raised capital for the company and …See details»
TrustInSoft and Ferrous Systems Partner to Bring Rust Code …
Feb 25, 2025 TrustInSoft aims to provide organizations with the best of both worlds—proven formal verification methods and the benefits of Rust’s safety guarantees—to help eliminate …See details»
TrustInSoft Email Format & Employee Directory | ContactOut
Get details for TrustInSoft’s 10 employees, email format for trust-in-soft.com and phone numbers. TrustInSoft develops solutions that validate mission-critic...See details»
CWE coverage | TrustInSoft CI Documentation
TrustInSoft CI can detect a large number of C and C++ undefined behaviors. The undefined behaviors covered by TrustInSoft CI correspond to a subset of CWE-658: Weaknesses in …See details»
TrustInSoft Analyzer: Faster, Smarter, and More Powerful
Oct 7, 2024 Paris, France – October 8, 2024 – TrustInSoft, a leading provider of advanced software analysis tools, has announced the latest release of TrustInSoft Analyzer 2024.10 …See details»
Benjamin Monate - TrustInSoft - LinkedIn
Researcher in computer science. Scientific project leader. Scientific advisor… · Expérience : TrustInSoft · Lieu : Paris et périphérie · 500 relations ou plus sur LinkedIn. Consultez le profil …See details»
20 Examples of Trust in the Workplace for a Positive Environment
Mar 31, 2024 Trust in the workplace is SUPER important. David Grossman, founder and CEO of the Grossman Group, says: “Working with leaders and teams at many different organizations …See details»
Configuration files | TrustInSoft CI Documentation
A single project can use both a Global configuration and a Committed configuration.. In this case, when a build is run, if a .trustinsoft/directory exists for the commit associated to this build, then …See details»
CERT C Benchmark - Trust In Soft
Oct 27, 2022 Discover how TrustInSoft Analyzer can help you achieve and maintain CERT C compliance. With its advanced formal methods technology, our tool guarantees zero false …See details»