HASPOC

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.

HASPOC video

(126 MB)

HASPOC Flyer

You can find all important details on our project in our two-page flyer.

Download PDF »

HASPOC Overview Report

We have compiled a 63-page report on all aspects of the HASPOC project.

Download PDF »

Security & Privacy '16

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.

Paper Slides