Change search
ReferencesLink to record
Permanent link

Direct link
A High Assurance Virtualization Platform for ARMv8
RISE, Swedish ICT, SICS, Security Lab.
RISE, Swedish ICT, SICS, Security Lab.
Show others and affiliations
2016 (English)Conference paper (Refereed)
Abstract [en]

This paper presents the first results from the ongoing research project HASPOC, developing a high assurance virtualization platform for the ARMv8 CPU architecture. Formal verification at machine code level guarantees information isolation between different guest systems (e.g.~OSs) running on the platform. To use the platform in networking scenarios, we allow guest systems to securely communicate with each other via platform-provided communication channels and to take exclusive control of peripherals for communication with the outside world. The isolation is shown to be formally equivalent to that of guests executing on physically separate platforms with dedicated communication channels crossing the air-gap. Common Criteria (CC) assurance methodology is applied by preparing the CC documentation required for an EAL6 evaluation of products using the platform. Besides the hypervisor, a secure boot component is included and verified to ensure system integrity.

Place, publisher, year, edition, pages
2016, 9.
Keyword [en]
hypervisor, isolation, assurance, formal verification, Common Criteria, ARMv8
National Category
Computer and Information Science
URN: urn:nbn:se:ri:diva-24570DOI: 10.1109/EuCNC.2016.7561034OAI: diva2:1043655
European Conference on Networks and Communications (EuCNC) 2016

This is the author version of the corresponding paper published in the 2016 European Conference on Networks and Communications (EuCNC). The publisher is IEEE. The final publication (DOI: 10.1109/EuCNC.2016.7561034) is available at IEEE Xplore via © © 2016 IEEE. Personal use of this material is permitted. Permission from IEEE must be obtained for all other uses, in any current or future media, including reprinting/republishing this material for advertising or promotional purposes, creating new collective works, for resale or redistribution to servers or lists, or reuse of any copyrighted component of this work in other works.

Available from: 2016-10-31 Created: 2016-10-31 Last updated: 2017-01-04

Open Access in DiVA

fulltext(238 kB)7 downloads
File information
File name FULLTEXT01.pdfFile size 238 kBChecksum SHA-512
Type fulltextMimetype application/pdf

Other links

Publisher's full texthttp
By organisation
Security Lab
Computer and Information Science

Search outside of DiVA

GoogleGoogle Scholar
Total: 7 downloads
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

Altmetric score

Total: 38 hits
ReferencesLink to record
Permanent link

Direct link