Date post: | 16-Feb-2017 |
Category: |
Engineering |
Upload: | fabrice-derepas |
View: | 2,117 times |
Download: | 4 times |
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