The DOI matches its Crossref record; 27 of the 27 references it cites were found in a registry or an index.
NOVA: a microhypervisor-based secure virtualization architecture
Open accessAbstract
The availability of virtualization features in modern CPUs has reinforced the trend of consolidating multiple guest operating systems on top of a hypervisor in order to improve platform-resource utilization and reduce the total cost of ownership. However, today's virtualization stacks are unduly large and therefore prone to attacks. If an adversary manages to compromise the hypervisor, subverting the security of all hosted operating systems is easy. We show how a thin and simple virtualization layer reduces the attack surface significantly and thereby increases the overall security of the system. We have designed and implemented a virtualization architecture that can host multiple unmodified guest operating systems. Its trusted computing base is at least an order of magnitude smaller than that of existing systems. Furthermore, on recent hardware, our implementation outperforms contemporary full virtualization environments.
Overview
The claims and statistics of this paper haven’t been checked yet.
Run the check — free, no account needed. It reads the open-access text and checks the sources it cites.
Integrity signals
Registry
Cites
Statistics
Verification
Claims the paper makes
The claims and statistics of this paper haven’t been checked yet.
Run the check — free, no account needed. It reads the open-access text and checks the sources it cites.
Self-check
Percentages, sums and reported differences re-computed from the paper’s own numbers.
The self-check needs the paper’s full text.
Citations
Cites
Xen and the art of virtualization
Barham, P., Dragovic, B., Fraser, K., Hand, S., Harris, T., Ho, A., Neugebauer, R., Pratt, I., & Warfield, A. (2003) · ACM SIGOPS Operating Systems Review · doi:10.1145/1165389.945462 · Cited by 5,915
Live migration of virtual machines
Clark, C. J., Fraser, K. A., Hand, S., Hansen, J. G., Jul, E., Limpach, C., Pratt, I., & Warfield, A. (2005) · doi:10.5555/1251203.1251223 · Cited by 2,562
QEMU, a fast and portable dynamic translator
Bellard, F. (2005) · USENIX Annual Technical Conference · Cited by 2,207
Xen and the art of virtualization
Barham, P., Dragovic, B., Fraser, K., Hand, S., Harris, T., Ho, A., Neugebauer, R., Pratt, I., & Warfield, A. (2003) · Proceedings of the nineteenth ACM symposium on Operating systems principles · doi:10.1145/945445.945462 · Cited by 2,107
Klein, G., Elphinstone, K., Heiser, G., Andronick, J., Cock, D., Derrin, P., Elkaduwe, D., Engelhardt, K., Kolanski, R., Norrish, M., et al. (2009) · Proceedings of the ACM SIGOPS 22nd symposium on Operating systems principles · doi:10.1145/1629575.1629596 · Cited by 1,633
kvm : the Linux Virtual Machine Monitor
Kivity, A. (2007) · Cited by 1,267
Survey of virtual machine research
Goldberg, R. P. (1974) · Computer · doi:10.1109/mc.1974.6323581 · Cited by 810
The multikernel: a new OS architecture for scalable multicore systems
Baumann, A., Barham, P., Dagand, P.-E., Harris, T., Isaacs, R., Peter, S., Roscoe, T., Schüpbach, A., & Singhania, A. (2009) · Proceedings of the ACM SIGOPS 22nd symposium on Operating systems principles · doi:10.1145/1629575.1629579 · Cited by 802
Intel virtualization technology
Uhlig, R., Neiger, G., Rodgers, D., Santoni, A. L., Martins, F. C. M., Anderson, A. V., Bennett, S., Kägi, A., Leung, F., & Smith, L. M. (2005) · Computer · doi:10.1109/mc.2005.163 · Cited by 730
SecVisor: a tiny hypervisor to provide lifetime kernel code integrity for commodity OSes
Seshadri, A., Luk, M., Qu, N., & Perrig, A. (2007) · Proceedings of twenty-first ACM SIGOPS symposium on Operating systems principles · doi:10.1145/1294261.1294294 · Cited by 629
Cited by
Using ARM trustzone to build a trusted language runtime for mobile applications
Santos, N., Raj, H., Saroiu, S., & Wolman, A. (2014) · Proceedings of the 19th international conference on Architectural support for programming languages and operating systems · doi:10.1145/2541940.2541949 · Cited by 192
Securing display path for security-sensitive applications on mobile devices
(2018) · Singapore Management University Institutional Knowledge (InK) (Singapore Management University) · doi:10.3970/cmc.2018.055.017 · Cited by 52
Metadata
- Authors
- Steinberg, U., & Kauer, B.
- Venue
- Proceedings of the 5th European conference on Computer systems
- Publisher
- ACM
- Published
- 2010-04-13
- Pages
- 209-222
- OpenAlex
- W2100678175
- Cited by
- 313
- References
- 27
- FWCI
- 25.73
- Type
- conference paper
- Language
- en
- Open access
- green
About these checks
Registry, retraction, Cites and statistics results are computed, not judged, with one exception: a printed reference that no index lists is read once by a model before it counts as a citation error. Claims are extracted by a model and kept only when their quote appears verbatim in the text; each cited source is then checked, with a model’s help, for whether it says what the claim relies on. Those verdicts can be wrong — read the claim’s quote and the cited source before relying on one.
Statistics and arithmetic are recomputed, not judged.
Confidence bands are shown only for fields calibrated on our annotated test set. None is calibrated yet, so no band is shown.
What counts as a claim ›How we measure confidence ›How we check this ›
Are you an author, or do you see a problem with this page? Request a review
How to cite
Cite CoChat for the checks on this page, and the paper for its own findings.
- This page
- CoChat. (2026). Citation check: NOVA: a microhypervisor-based secure virtualization architecture. https://app.cochat.ai/papers/10.1145/1755913.1755935
- The paper
- Steinberg, U., & Kauer, B. (2010). NOVA: a microhypervisor-based secure virtualization architecture. Proceedings of the 5th European conference on Computer systems. https://doi.org/10.1145/1755913.1755935
Data sources
Bibliographic data: Semantic Scholar, OpenAlex, Crossref.
Contains information from the Semantic Scholar Academic Graph Datasets, made available under the ODC Attribution License (ODC-BY 1.0).
Semantic Scholar’s data is described in: Kinney, R., et al. (2023). The Semantic Scholar Open Data Platform. arXiv:2301.10140.
