Conference paper Open Access

ProvenCore: Towards a Verified Isolation Micro-Kernel

Lescuyer, Stéphane


BibTeX Export

@proceedings{lescuyer_stephane_2015_47990,
  title        = {{ProvenCore: Towards a Verified Isolation Micro- 
                   Kernel}},
  year         = 2015,
  publisher    = {Zenodo},
  month        = jan,
  doi          = {10.5281/zenodo.47990},
  url          = {https://doi.org/10.5281/zenodo.47990}
}
36
20
views
downloads
All versions This version
Views 3636
Downloads 2020
Data volume 8.8 MB8.8 MB
Unique views 3535
Unique downloads 1616

Share

Cite as