Christoph Baumann, Oliver Schwarz, Mads Dam. On the verification of system-level information flow properties for virtualized execution platforms. J. Cryptographic Engineering, 9(3):243-261, 2019. [doi]
@article{BaumannSD19,
title = {On the verification of system-level information flow properties for virtualized execution platforms},
author = {Christoph Baumann and Oliver Schwarz and Mads Dam},
year = {2019},
doi = {10.1007/s13389-019-00216-4},
url = {https://doi.org/10.1007/s13389-019-00216-4},
researchr = {https://researchr.org/publication/BaumannSD19},
cites = {0},
citedby = {0},
journal = {J. Cryptographic Engineering},
volume = {9},
number = {3},
pages = {243-261},
}