Fabrice Derepas, CEO of TrustInSoft@fderepas

Build and Deploy Bulletproof Software

with TrustInSoft

© 2015 RSA Conference. All rights reserved.

The Problem

2

© 2015 RSA Conference. All rights reserved.

It’s time to change the software security game — with TrustInSoft.

3

© 2015 RSA Conference. All rights reserved.

Mathematical Guarantees on Software

4

Using TrustInSoft Analyzer we now have a report which tells how to compile, configure and deploy ARMmbed in a given perimeter in order to be immune against all attacks caused by CWE 119 to 127, 369, 415, 416, 457, 476, 562, 690.

First ever SSL stack guaranteedwithout buffer overflows.

© 2015 RSA Conference. All rights reserved.

Mathematical Guarantees on Software

5

cybersecurity

aeronautics

nuclear industry

your source code1

chosen threats listed exhaustively

2

threat located3

© 2015 RSA Conference. All rights reserved.

TrustInSoft’s Offers

6

License of TrustInSoft Analyzer

You use our technology

Advanced Software Security Audits

We do the job for you

Custom expertiseTraining, support

© 2015 RSA Conference. All rights reserved.

Market Penetration

7

2013

market

2015

market

Smart

factories

IT

2014

market

Energy

aeronautics

nuclear reactors

defense

telecom

space

rail

© 2015 RSA Conference. All rights reserved.

Our Team

8

Fabrice Derepas, CEO

Pascal Cuoq, Chief Scientist

Benjamin Monante, CTO

inventor

inventor

Department Head; VP Strategy

CTO System Architect

Head of Lab; Team Leader

© 2015 RSA Conference. All rights reserved.

Don’t settle forsoftware that

isn’t bulletproof!

9