ProvenCore presented at HiPEAC Conference

logo-hipeac-small-trans [1]The HiPEAC [2] conference [3] is the premier European forum for experts in computer architecture, programming models, compilers and operating systems for embedded and general-purpose systems. The 10th HiPEAC conference [4]took take place in Amsterdam, The Netherlands from the 19th to the 21st of January 2015.

During the MILS workshop, Stéphane Lescuyer from Prove & Run presented the design of ProvenCore [5], our formally proven, POSIX compliant microkernel compatible with the ARM and x86 architectures. ProvenCore is designed to be used as the trusted foundation of the security architecture of a device, and can be used to build a trusted operating system. This presentation is based on the following research article [6].

 


Article printed from Prove & Run: https://www.provenrun.com

URL to article: https://www.provenrun.com/news/provencore-presented-hipeac-conference/

URLs in this post:

[1] Image: https://www.hipeac.net

[2] HiPEAC: https://www.hipeac.net/

[3] conference: https://www.hipeac.net/conference

[4] 10th HiPEAC conference : https://www.hipeac.net/2015/amsterdam/

[5] ProvenCore: http://www.provenrun.com/products/provencore/

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

Copyright © 2020 Prove & Run. All rights reserved.