Hamed Nemati. Secure System Virtualization: End-to-End Verification of Memory Isolation. PhD thesis, Royal Institute of Technology, Stockholm, Sweden, 2017. [doi]
@phdthesis{basesearch-8078,
title = {Secure System Virtualization: End-to-End Verification of Memory Isolation},
author = {Hamed Nemati},
year = {2017},
url = {https://www.base-search.net/Record/ac387830ec11f56882da57bbe25a0776d4c2a9a463ece654d39d196608431afa},
note = {base-search.net (ftkthstockholm:oai:DiVA.org:kth-213030)},
researchr = {https://researchr.org/publication/basesearch-8078},
cites = {0},
citedby = {0},
school = {Royal Institute of Technology, Stockholm, Sweden},
}