Software Open Access

An Isabelle/HOL Formalisation of Microarchitectural Timing Channel Prevention by Operating Systems - VM artifact and proof release

Buckley, Scott; Sison, Robert; Klein, Gerwin

BibTeX Export

@software{buckley_scott_2022_7343912,
  author       = {Buckley, Scott and
                  Sison, Robert and
                  Klein, Gerwin},
  title        = {{An Isabelle/HOL Formalisation of 
                   Microarchitectural Timing Channel Prevention by
                   Operating Systems - VM artifact and proof release}},
  month        = nov,
  year         = 2022,
  publisher    = {Zenodo},
  version      = {2022-11-20\_unpack},
  doi          = {10.5281/zenodo.7343912},
  url          = {https://doi.org/10.5281/zenodo.7343912}
}
13,126
37
views
downloads
All versions This version
Views 13,12613,063
Downloads 3716
Data volume 169.4 GB14.9 GB
Unique views 12,83512,805
Unique downloads 2011
More info on how stats are collected.
Indexed in
Publication date:
November 22, 2022
DOI:
10.5281/zenodo.7343912

Zenodo DOI Badge

DOI 

10.5281/zenodo.7343912

Markdown 

[![DOI](https://zenodo.org/badge/DOI/10.5281/zenodo.7343912.svg)](https://doi.org/10.5281/zenodo.7343912)

reStructedText 

.. image:: https://zenodo.org/badge/DOI/10.5281/zenodo.7343912.svg
   :target: https://doi.org/10.5281/zenodo.7343912

HTML 

<a href="https://doi.org/10.5281/zenodo.7343912"><img src="https://zenodo.org/badge/DOI/10.5281/zenodo.7343912.svg" alt="DOI"></a>

Image URL 

https://zenodo.org/badge/DOI/10.5281/zenodo.7343912.svg

Target URL 

https://doi.org/10.5281/zenodo.7343912

Keyword(s):
formal proofs
Grants:
Australian Research Council:
License (for files):
Other (Open)

Versions

Version 2022-11-20_unpack 10.5281/zenodo.7343912 Nov 22, 2022
Version 2022-11-20 10.5281/zenodo.7340167 Nov 21, 2022
Cite all versions? You can cite all versions by using the DOI 10.5281/zenodo.7340166. This DOI represents all versions, and will always resolve to the latest one. Read more.

Share

Cite as

Export