HASPOC (High Assurance Security Products On COTS platforms) is a project in Vinnova's Challenge Driven Innovation program.
The ultimate project target is to provide security for critical digital services and infrastructures by development of a trusted, cost and resource efficient virtualized COTS (ARM) platform with proven and Common Criteria certified security properties.
The developed technology will, in addition to specific security products like crypto equipment, secure mobile phones and firewalls, be applicable in a wide range of areas like SCADA systems, mobile communication networks, vehicular, avionics and medical systems, cloud application platforms and also for devices in the Internet of Things (IoT). The platform will be open source.
Our project is described in one of our latest publications -- "A High Assurance Virtualization Platform for ARMv8", published at EuCNC 2016.
The project will end in September 2016.
The KTH members of HASPOC found new timing-independent cache channels. Their paper "Cache Storage Channels: Alias-Driven Attacks and Verified Countermeasures" was published at Security & Privacy.