Prove & Run carries out a significant amount of research. Some of it have been published in research papers:

Dominique Bolignano has delivered a presentation entitled “Using Formal Methods to Enhance Security in Complex Systems: an Industrial Achievement” at the Collège de France and a video of this presentation [7] is available.

Article printed from Prove & Run:

URL to article:

URLs in this post:

[1] Inferring Frame Conditions with Static Correlation Analysis:

[2] Security Filters for IoT Domain Isolation:

[3] Security Filters for IoT Domain Isolation:

[4] Formally Proven and Certified Off-The-Shelf Software Components:

[5] Proven Security for the Internet of Things:

[6] ProvenCore: Towards a Verified Isolation Micro-Kernel:

[7] video of this presentation:

Copyright © 2020 Prove & Run. All rights reserved.