Build and deploy bulletproof software
-
Upload
fabrice-derepas -
Category
Engineering
-
view
2.115 -
download
4
Transcript of Build and deploy bulletproof software
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