HASPOC

Overview Material
HASPOC tech sheet
HASPOC project
Flyer, 2 pages.
Publications in Conferences
Cache Storage Channels: Alias-Driven Attacks and Verified Countermeasures
Roberto Guanciale, Hamed Nemati, Christoph Baumann, and Mads Dam
37th IEEE Symposium on Security and Privacy (S&P), 2016.
Automatic Derivation of Platform Noninterference Properties
Oliver Schwarz and Mads Dam
Software Engineering and Formal Methods (SEFM) 2016.
A High Assurance Virtualization Platform for ARMv8
Christoph Baumann, Mats Näslund, Christian Gehrmann, Oliver Schwarz, and Hans Thorsen
European Conference on Networks and Communications (EuCNC) 2016.
Publications in Magazines
High Assurance Security Products on COTS Platforms
Rolf Blom and Oliver Schwarz
ERCIM News (102). pp. 39-40. ISSN 0926-4981.
Theses
No Hypervisor Is an Island: System-wide Isolation Guarantees for Low Level Code
Oliver Schwarz
PhD thesis. KTH, Trita-CSC-A 2016:22 (ISSN 1653-5723).
Software
Hypervisor Code and Documentation

The HASPOC Hypervisor is available as Open Source under the terms and conditions of the Apache License 2.0.

Secure Boot Code

The HASPOC Secure Boot is available as Open Source under the GNU General Public License v.2.