A high assurance virtualization platform for ARMv8

Christoph Baumann, Mats Näslund, Christian Gehrmann, Oliver Schwarz, Hans Thorsen
[doi] [Google Scholar] [DBLP] [Citeseer]

2016 European Conference on Networks and Communications (EuCNC)
Volume
Pages 210-214
June 2016
Note(s): Arm Architecture, Operating systems, ISA specification