HASPOC

News

Stay informed about upcoming and past events, as well as other news from the HASPOC project.

HASPOC Sources Published

You can now evaluate, use, and extend the HASPOC source code.

Embedded Conference Scandinavia

Rolf Blom presented the HASPOC project at the Embedded Conference Scandinavia 2016 at Kistamässan on November 23rd at 14.30.

HASPOC Flyer

You can now find all important details on our project in our two-page flyer/tech sheet (PDF).

HASPOC Overview Report

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

S&P talk online

Roberto Guanciale presented our paper on alias-driven cache storage channels at Security & Privacy 2016. You can read the slides or watch the presentation here:

HASPOC video

Concluding the HASPOC project, we have produced a short video that introduces the project in a nutshell (126 MB):

HASPOC Overview Paper at EuCNC 2016

The HASPOC project is described in one of our latest publications -- "A High Assurance Virtualization Platform for ARMv8", published at the European Conference on Networks and Communications (EuCNC) 2016.

HASPOC ends September 2016

All good things come to an end and so does HASPOC. We achieved a lot in the last years, but new challenges are waiting. The project ends in September 2016.

Paper at SEFM 2016

Oliver Schwarz and Mads Dam published their paper "Automatic Derivation of Platform Noninterference Properties" at SEFM 2016. It reports on the automatic information flow analysis of instruction set architectures -- something that is essential for our verification, since it makes explicit which processor components guests can access.

Seminar Talk

HASPOC member Mads Dam was invited to give a seminar at the Software and Computer Systems school of KTH. He talked about our predecessor project PROSPER. Read the abstract.

SICS Open House 2016

In the context of the SICS Open House 2016, Thomas Carnehult presented a demo and a poster on HASPOC.

Seminar Talk

HASPOC member Roberto Guanciale was invited to give a seminar at the Software and Computer Systems school of KTH. He talked about a new attack vector based on alias-driven cache channels. Read the abstract.

Paper at Security & Privacy 2016

The KTH members of HASPOC found new timing-independent cache channels. Their paper "Cache Storage Channels: Alias-Driven Attacks and Verified Countermeasures" was accepted at Security & Privacy 2016.

ERCIM News

ERCIM News issue 102 (July 2015, PDF) features HASPOC within its special theme "Trustworthy Systems of Systems".
Read the ERCIM News article here.

Sweden and Luxembourg Talking Cyber Security

On the 11th of June 2015 the Luxembourg Chamber of Commerce, Business Sweden (the Swedish Trade and Invest Council) and the Embassy of Sweden to Luxembourg held a workshop on cyber security. Christian Gehrmann from SICS was part of the Swedish delegation of cyber security institutes that were invited. In his presentation Christian introduced HASPOC to the audience.

SICS Open House 2015

On the 22nd of March 2015, HASPOC was presented on a poster at the annual SICS Open House day. Below you can watch a short interview where Oliver Schwarz explains the project for the broad public:

Student Projects

HASPOC is continously looking for bright master students. Interested in a thesis/exjobb project? Get involved!

HASPOC Started

The project has started and that with big decisions. In order to be ready for the future, we will target ARMv8. A decision that comes with big chances and challenges.