Stay informed about upcoming and past events, as well as other news from the HASPOC project.
You can now evaluate, use, and extend the HASPOC source code.
Rolf Blom presented the HASPOC project at the Embedded Conference Scandinavia 2016 at Kistamässan on November 23rd at 14.30.
You can now find all important details on our project in our two-page flyer/tech sheet (PDF).
We have compiled a 63-page report (PDF) on all aspects of the HASPOC project.
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:
Concluding the HASPOC project, we have produced a short video that introduces the project in a nutshell (126 MB):
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.
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.
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.
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.
In the context of the SICS Open House 2016, Thomas Carnehult presented a demo and a poster on HASPOC.
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.
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.
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.
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:
HASPOC is continously looking for bright master students. Interested in a thesis/exjobb project? Get involved!
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.