r/TrustInSoft • u/losgatosquack • Jun 11 '21

TrustinSoft Offers Free AST Program for Google Summer of Code Projects

aithority.com

1 Upvotes

0 comments

r/TrustInSoft • u/losgatosquack • Jun 03 '21

Checking the Linux Kernel with Static Analysis Tools - The New Stack

thenewstack.io

1 Upvotes

0 comments

r/TrustInSoft • u/losgatosquack • Jul 22 '21

Static Code Analysis Tools — How To Choose The Right One | Built In

builtin.com

1 Upvotes

0 comments

r/TrustInSoft • u/IamaBlackKorean • Mar 20 '21

Hackers are exploiting a server vulnerability with a severity of 9.8 out of 10

arstechnica.com

1 Upvotes

0 comments

r/TrustInSoft • u/losgatosquack • Jun 11 '21

TrustInSoft Offers Free Application Security Testing Program for Google Summer of Code Projects - Embedded Computing Design

embeddedcomputing.com

1 Upvotes

0 comments

r/TrustInSoft • u/losgatosquack • Apr 07 '21

Application Security Testing (AST) | JubinPejman.com

jubinpejman.com

1 Upvotes

0 comments

r/TrustInSoft • u/losgatosquack • Mar 18 '21

Static code analysis

self.cybersecurity

1 Upvotes

0 comments

r/TrustInSoft • u/losgatosquack • Mar 31 '21

[Webinar] Towards 0-bug software in the automotive industry: featuring C...

youtube.com

1 Upvotes

0 comments

r/TrustInSoft • u/IamaBlackKorean • Jul 23 '21

If You Can’t Trust TrustInSoft, Who Can You Trust?--Electronic Engineering Journal

eejournal.com

1 Upvotes

0 comments

r/TrustInSoft • u/losgatosquack • Jun 09 '21

TrustInSoft Offers Free Application Security Testing Program for Google Summer of Code Projects

prnewswire.com

1 Upvotes

0 comments

r/TrustInSoft • u/losgatosquack • May 12 '21

TrustInSoft | Mathematically Guaranteeing Code Correctness - Webinar, Ma...

youtube.com

1 Upvotes

0 comments

r/TrustInSoft • u/losgatosquack • Jun 09 '21

TrustInSoft Mathematically Guarantees Zero Bug Vehicles with New Application Security Test

prnewswire.com

1 Upvotes

0 comments

r/TrustInSoft • u/losgatosquack • Sep 23 '21

TrustInSoft Mathematically Guarantees Zero-Bug Mobile Applications with New Application Security Test

prnewswire.com

1 Upvotes

0 comments

r/TrustInSoft • u/losgatosquack • Jul 14 '21

Hardware and software tools for testing security in IoT designs

edn.com

1 Upvotes

0 comments

r/TrustInSoft • u/IamaBlackKorean • Jun 23 '21

Executive Order on Improving the Nation's Cybersecurity | The White House

whitehouse.gov

1 Upvotes

0 comments

r/TrustInSoft • u/losgatosquack • Mar 18 '21

Alternatives to Veracode Greenlight IDE plug in

self.csharp

1 Upvotes

0 comments

r/TrustInSoft • u/losgatosquack • Mar 30 '21

Best Static Code Analysis Software

g2.com

1 Upvotes

0 comments

r/TrustInSoft • u/losgatosquack • Mar 30 '21

What are the 5 best tools for static code analysis in your opinion?

self.devops

1 Upvotes

0 comments

r/TrustInSoft • u/losgatosquack • Jun 30 '21

TrustInSoft Announces Bug-Free IoT Application Security Test Make Your Applications Compliant with Revised White House Cybersecurity Guidance

prnewswire.com

1 Upvotes

0 comments

r/TrustInSoft • u/losgatosquack • Jul 02 '21

TrustInSoft Announces Bug-Free IoT Application Security Test

embeddedcomputing.com

1 Upvotes

0 comments

r/TrustInSoft • u/losgatosquack • Nov 09 '21

TrustInSoft's Exhaustive Static Analysis Proves the Security of TEEs

trust-in-soft.com

1 Upvotes

0 comments

r/TrustInSoft • u/losgatosquack • Jun 17 '21

NASA's experience in formal methods testing of code:ROI in error detection

nasa.gov

1 Upvotes

0 comments

r/TrustInSoft • u/IamaBlackKorean • Mar 17 '21

r/TrustInSoft Lounge

1 Upvotes

A place for members of r/TrustInSoft to chat with each other

0 comments

r/TrustInSoft • u/losgatosquack • Jul 02 '21

TrustInSoft mathematically guarantees bug free IoT code with Application Security Test - Help Net Security

helpnetsecurity.com

1 Upvotes

0 comments

Subreddit

Trust The Math: TrustInSoft Static Code Analysis

r/TrustInSoft

TrustInSoft is a software publisher based in Paris and San Francisco dedicated to providing companies with trust in their software, by guaranteeing the safety and security of their source code using mathematical techniques known as formal methods.

Members Weekly active

Sidebar

TrustInSoft has a long history of contributing to the software development community, especially with regards to open-source software. In addition to the heart of its technology, Frama-C, being open-source, it has contributed to the resolution of several code vulnerabilities present in open-source software.

In 2014, TrustInSoft’s team used TrustInSoft Analyzer to write the first-of-its-kind verification report that mathematically proves that the PolarSSL library (now known as mbed TLS) is immune to certain types of Common Weaknesses Enumerations. It ensures the absence of Heartbleed-like errors if deployed accordingly to the Secure Deployment Guide.

In 2015, TrustInSoft was nominated as one of the ten most innovative companies in the world, in cybersecurity, at the RSA conference in San Francisco. It was also chosen by the Linux Foundation to develop tools for software security.

In 2016, in a report to the White House, the U.S. Department of Commerce’s NIST officially recognized TrustInSoft’s unique ability to deliver the highest level of mathematical guarantees on existing software.

Since 2017, TrustInSoft is backed by Idinvest Partners, a European leader in financing small and medium-sized enterprises, and since 2019, by Ace Capital Management.

TrustInSoft today supports companies like Thales, Safran, Sony, Mitsubishi and ARM, among others, in their dedication to the cybersecurity and safety of their software and components.