Conference paper Open Access

ProvenCore: Towards a Verified Isolation Micro-Kernel

Lescuyer, Stéphane


Citation Style Language JSON Export

{
  "publisher": "Zenodo", 
  "DOI": "10.5281/zenodo.47990", 
  "title": "ProvenCore: Towards a Verified Isolation Micro-Kernel", 
  "issued": {
    "date-parts": [
      [
        2015, 
        1, 
        20
      ]
    ]
  }, 
  "abstract": "<p>We report on an ongoing project aiming at a fully secure\u00a0micro-kernel named ProvenCore. This operating\u00a0system is\u00a0both developed and specified in a single specification language\u00a0called Smart. The Smart\u00a0models are used to generate\u00a0efficient C code and express low- and high-level properties\u00a0of the\u00a0implementation, and first among them guarantees of\u00a0integrity and confidentiality for the various\u00a0processes running\u00a0on the kernel. ProvenCore is designed to be used as\u00a0a secure world operating system in mobile\u00a0devices, beneath\u00a0a professional application platform or a Trusted Execution\u00a0Environment.</p>", 
  "author": [
    {
      "family": "Lescuyer, St\u00e9phane"
    }
  ], 
  "type": "paper-conference", 
  "id": "47990"
}
26
11
views
downloads
All versions This version
Views 2626
Downloads 1111
Data volume 4.9 MB4.9 MB
Unique views 2626
Unique downloads 1010

Share

Cite as