Entity
  • TrustInSoft

    Created in 2013
  • BETA

    Up & running (A)
    Existing signals show a regular activity
  • Social networks

    432 3,600
  • Activities

  • Technologies

  • Entity types

  • Location

    222 Av. du Maine, 75014 Paris, France

    Paris

    France

  • Employees

    Scale: 11-50

    Estimated: 52

  • SIREN

    387035033
  • Engaged corporates

    20
    8 15
  • Added in Motherbase

    6 years, 2 months ago
Description
  • Value proposition

    Software publisher that provides tools to mathematically guarantee the safety and cybersecurity of C & C++ software

    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.

    Cyber Security, Software Security, Software Reliability, Software Quality, Code Quality, Formal Methods, Static Analysis, Dynamic Analysis, Code Analysis, Software Development Tools, and Software Testing

  • Original language

    Software publisher that provides tools to mathematically guarantee the safety and cybersecurity of C & C++ software

    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.

  • TrustInSoft: Pioneers in Software Security and Safety

    TrustInSoft is the software publisher of TrustInSoft Analyzer, an advanced exhaustive static analysis tools for code safety and security.

  • https://www.trust-in-soft.com/
Corporate interactions BETA
Corporate TypeTweets Articles
Synopsys Inc
Synopsys Inc
Computer & Network Security, Software Development
Synopsys Inc
Computer & Network Security, Software Development
Other

13 Jun 2024


SATT Paris-Saclay
SATT Paris-Saclay
Research, Startup accelerator & VC, Research Services
SATT Paris-Saclay
Research, Startup accelerator & VC, Research Services
Other

3 Jul 2023


Informa Markets - Engineering
Informa Markets - Engineering
Trade show, Events Services
Informa Markets - Engineering
Trade show, Events Services
Other

7 Dec 2017


Inria
Inria
Research, Research Services
Inria
Research, Research Services
Other

6 Apr 2023


Google
Google
IT services, Software Development
Google
IT services, Software Development
Other

2 Nov 2022

2 Nov 2022



Roland Berger
Roland Berger
Consulting, Business Consulting and Services
Roland Berger
Consulting, Business Consulting and Services
Other

24 Jun 2015


Région Ile de France
Région Ile de France
National and local authorities, Government Administration
Région Ile de France
National and local authorities, Government Administration
Other

11 Jan 2019


Eurazeo
Eurazeo
Finance, Financial Services
Eurazeo
Finance, Financial Services
Other

19 Nov 2019

14 Oct 2022



Microsoft
Microsoft
IT services, Software Development
Microsoft
IT services, Software Development
Other

13 Jul 2023


Schneider Electric
Schneider Electric
Electricals, Appliances, Electrical, and Electronics Manufacturing
Schneider Electric
Electricals, Appliances, Electrical, and Electronics Manufacturing
Other

3 Jul 2020


Similar entities
Loading...
Loading...
Social network dynamics