TrustInSoft is attending Rolland Dudemaine's presentation at Oxidize on September 16 at 4:30PM in Tagungswerk, Berlin.
Public source
Publisher name
Public post
Rust is built for safer, more robust code... but can the compiler catch everything? 👀 Join us at Oxidize for Rolland Dudemaine 's presentation 'What's Left to Find in R…
Company
TrustInSoft
Software publisher that provides tools to mathematically guarantee the safety and cybersecurity of C/C++/Rust software
- Industry
- Software Development
- Location
- Paris, FR
- Company size
- 51–200 employees
About TrustInSoft
TrustInSoft 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 provides software developers, testers, and integrators with TrustInSoft Analyzer, an exhaustive static analysis tool that interprets source code using formal methods to detect all of the most frequent and dangerous families of threats and coding errors before deployment. TrustInSoft also offers professional services and expertise to formally audit safety and security-critical existing software components. For more information, visit https://trust-in-soft.com.
See moreLatest activity
Latest activity from TrustInSoft
9 signals
Presence & Recognition
TrustInSoft is attending Safety AD EU 2026 in Munich at the Holiday Inn, Munich City Center, on September 28, 2026, to discuss AI impact on software verification and how TrustInSoft combines AI with formal methods to verify safety- and security-critical software.
Presence & Recognition
TrustInSoft is exhibiting at Embedded World North America at Booth 5602 at Anaheim Convention Center from September 22-24 to demonstrate its embedded software analysis tool.
Presence & Recognition
TrustInSoft is scheduled to attend Safety AD in Munich, Germany from September 28-29.
Discover more
Similar signals
Similar public activity from other companies.
Presence & Recognition
OxidOS Automotive
OxidOS Automotive will be attending RustConf this year
Presence & Recognition
Antithesis
Antithesis is attending the RustConf2026 wrap-up party at the Museum of Illusions Montréal on Thursday 9/10.
Presence & Recognition
AdaCore
AdaCore is attending the NASPICE conference on 29th to 30th September with Mark Hermeling presenting on Approaches to Memory Safety for Functional Safety.
Presence & Recognition
Ardan Labs
Ardan Labs is attending Rust Foundation 2026 in Montreal.
Presence & Recognition
Rust Foundation