# TrustInSoft

- **Website:** <https://trust-in-soft.com>
- **Primary alias:** `trust-in-soft.com`
- **Founded:** 2013
- **Employees:** 11+
- **Location:** Paris, le-de-France, France
- **Company kind:** PRIVATELY HELD

## Description

TrustInSoft is a software publisher based in Paris and San Francisco, specializing in providing an exhaustive static analysis tool for code safety and security. They offer their customers a software code analysis tool that guarantees the security and safety of their source code using formal methods. TrustInSoft was founded in 2013 by three former researchers from the French government’s Alternative Energies and Atomic Energy Commission. Their goal was to broaden the reach of formal methods across various industry verticals and contribute to making the digitalized world a safer place. Today, TrustInSoft supports customers worldwide in industries such as aeronautics, telecommunications, industrial IoT, and automotive. Their international team of expert engineers, many with PhDs, is dedicated to making security accessible to everyone. TrustInSoft has received recognition for its groundbreaking work, including funding rounds, official recognition by the US Department of Commerce’s NIST, and nominations as one of the most innovative companies in cybersecurity. TrustInSoft's mission is to ensure the security and safety of software through rigorous mathematical analysis, providing peace of mind to customers worldwide.

## Industries

- 🖥 Programming and Developer Software _(under Computers Electronics and Technology)_
- 🖥 Computers Electronics and Technology

## Links

- [youtube](https://youtube.com/channel/UCsqaS4-U1DpIq_v6sH5WKzw)
- [twitter](https://twitter.com/TrustInSoft)
- [linkedin](https://linkedin.com/company/trustinsoft)
- [facebook](https://facebook.com/TrustInSoft)

## Logos & icons

- logo _(primary)_ — PNG — [download](https://cdn.brandfetch.io/idnZp798Uv/w/200/h/29/theme/dark/logo.png?c=1bxid64Mup7aczewSAYMX&t=1723589515766)
- icon _(primary)_ — JPEG — [download](https://cdn.brandfetch.io/idnZp798Uv/w/312/h/312/theme/dark/icon.jpeg?c=1bxid64Mup7aczewSAYMX&t=1782274954014)

## Colors

| Name | Hex | Theme |
| --- | --- | --- |
| Black | #000000 | dark |
| White | #ffffff | light |
| Tree Poppy | #f7931c | accent |

## Fonts

- var(--font-inter) — asset _(custom)_
- var(--font-jakarta_sans) — asset _(custom)_

## Imagery

- banner _(primary)_ — JPEG — [download](https://cdn.brandfetch.io/idnZp798Uv/w/1500/h/500/idymxhW7K0.jpeg?c=1bxid64Mup7aczewSAYMX&t=1782274954197)

---

_Source: <https://brandfetch.com/trust-in-soft.com>_
_See [/llms.txt](/llms.txt) for a full list of agent-readable pages, and [/auth.md](/auth.md) for how agents authenticate._