Publications

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: https://www.provenrun.com

URL to article: https://www.provenrun.com/about/research-papers/

URLs in this post:

[1] Inferring Frame Conditions with Static Correlation Analysis: https://www.provenrun.com/wp-content/uploads/2019/01/POPL19-Inferring-Frame-Conditions-with-Static-Correlation-Analysis_preprint.pdf

[2] Security Filters for IoT Domain Isolation: https://www.provenrun.com/about/security-filters-for-iot-domain-isolation-isola/

[3] Security Filters for IoT Domain Isolation: https://www.provenrun.com/about/security-filters-for-iot-domain-isolation/

[4] Formally Proven and Certified Off-The-Shelf Software Components: https://www.provenrun.com/about/formally-proven-and-certified-off-the-shelf-software-components/

[5] Proven Security for the Internet of Things: https://www.provenrun.com/about/proven-security-for-the-iot/

[6] ProvenCore: Towards a Verified Isolation Micro-Kernel: https://www.provenrun.com/wp-content/uploads/2015/01/Prove-Run-ProvenCore-Towards-a-Verified-Isolation-Micro-Kernel.pdf

[7] video of this presentation: http://www.college-de-france.fr/site/en-gerard-berry/seminar-2015-03-11-17h30.htm

Copyright © 2015 Prove & Run. All rights reserved.