PROSPER

Project events

This pages contains information about important events involving the PROSPER project or related events involving PROSPER project members.

Past events

Security & Privacy 2016

Roberto Guanciale presented our paper "Cache Storage Channels: Alias-Driven Attacks and Verified Countermeasures" at Security & Privacy 2016. You can read the paper, download the slides, or watch the presentation:


PROSPER workshop (summer 2016)

This PROSPER workshop took place in Stockholm in June 2016.

PROSPER workshop (late-2015)

This PROSPER workshop took place in Stockholm in October 2015.

PROSPER workshop (early-2015)

This two-days PROSPER workshop took place in Stockholm in June 2015.

PROSPER industrial advisory board meeting (2015)

The IAB meeting took place in Stockholm in April 2015. Participants were Ericsson and atsec.

SICS Open House (2015)

Every year in spring SICS Swedish ICT arranges an Open House Day to present current research and latest findings. This is a well established and very popular event where industry meets academia, student meet future employers.

In 2015, on March 19th, we presented a poster on one of PROSPER's spin-off projects, HASPOC.

VINNOVA-SSF conference

In February 2015, we had the honour of presenting our project on the joint Vinnova-SSF conference "Software for Competitiveness II - Innovative software in systems".

PROSPER workshop (late-2014)

This PROSPER workshop took place in Stockholm in December 2014.

PROSPER scientific advisory board meeting (2014)

The SAB meeting took place in Lund in April 2014. The scientific advisory board, namely prof. Bart Preneel from KU Leuven and prof. Gilles Barthe from IMDEA in Madrid, provided feedback and discussed future directions.

SICS security seminar 2014

This year's security seminar at SICS, "Securing infrastructures, the Smart GRID and the Things" (program), took place in Kista on the 8th of April 2014. It included the following talks from PROSPER members:

  • Oliver Schwarz - Formal verification of a tiny separation kernel [PDF (5.6 MB), animated Prezi]

SICS Open House (2014)

Every year in spring SICS Swedish ICT arranges an Open House Day to present current research and latest findings. This is a well established and very popular event where industry meets academia, student meet future employers.

This year Christian Gehrmann will present some of his ideas about security within the presentation "Four Aspects of the Internet of Things: Privacy, Security, Cloud/Big Data, New Services" by Markus Bylund, Christian Gehrmann, Daniel Gillblad, Joakim Eriksson.

PROSPER workshop (early-2014)

This PROSPER workshop will take place in March 2014 in Lund. Presentation will cover the topics such as device modeling, Linux virtualization and resource constrained embedded systems.

PROSPER industry advisory board meeting (2014)

The IAB meeting will take place in March 2014 in Lund. Topics discussed will include: exploitation and dissemination, relational verification of ARM machine code and implementation and evaluation and GlobalPlatform support within the hypervisor. The industry advisory board will provide feedback and discuss future directions.

Irisa-DGA seminar "méthodes formelles et sécurité" (2014)

On February 28th in 2014, Mads Dam was invited to speak at the Irisa-DGA seminar "méthodes formelles et sécurité" in Rennes, France. The talk with the title "Formal verification of information flow security for a simple ARM-based separation kernel" can be watched as a video (457 MB). The subsequent question session is available as audio file (12 MB).

PROSPER workshop (late-2013)

This PROSPER workshop will take place in September 2013 near Lund. Presentation will cover the topics such as real-time control of guests, soft reboot and preemption.

SICS security seminar 2013: Future Trustworthy IT Systems

For the third consecutive year, SICS arranges a seminar on future IT Security (program, registration). This time the event will take place in Lund, where SICS has opened a new lab, led by Associate Professor Christian Gehrmann.

  • Prof. Adrian Perrig, ETH, Zürich: The Role of Trustworthy Computing to Build Future Secure Internet Architectures
  • Nicolae Paladi, SICS: How to Secure Infrastructure Clouds with Trusted Computing Technologies
  • Prof. Jean-Pierre Seifert, TU-Berlin/Deutsche Telecom Lab: Trustworthy IT Systems – where is the trust boundary?
  • Stefan Andersson, Sony Mobile: Mobile Security Evolution, from Fixed Defenses to Defense in Depth
  • Ludwig Seitz, SICS: A new Authorization Framework for Internet of Things
  • Arash Vahidi, SICS: The SICS Hypervisor for ARM project
  • Assoc. Prof. Tomas Olovsson, Chalmers: Security Issues with the Internet Connected Car?
  • Patrik Ekdahl, Ericsson: Creating Security for BYOD – Current Approaches
  • Janne Uusilehto, Nokia: Mobile security in real life

PROSPER workshop (early-2013)

This PROSPER workshop will take place in April 2013 in KTH. Presentation will cover the topics such as verification of machine code, Linux virtualization and epistemic logic for modeling/verification.

SICS Open House (2013)

Every spring we invite friends and partners to SICS Open House to learn what we have accomplished during the year and to hear about the latest research in key areas of information and communication technology. It is an informal and fun event with a large exhibition, short seminars and a lot of mingle – perfect for making new contacts in the business.

This year, the PROSPER team will present a number of research topics at the Open House

SICS security seminar 2012: Virtualization and Verification for Security

In order to kick off the PROSPER project, SICS invited speakers from the globally leading reasearch groups when it comes to hypervisor/microkernel verification, such as Gernot Heiser from the seL4 project and Wolfang J Paul from the Verisoft/HyperV project.

  • Christian Gehrmann, SICS - Hypervisors for security in embedded systems
  • Gernot Heiser, UNSW & NICTA, Australia - Towards a Platform for Secure Systems
  • Magnus Karlsson, ENEA AB - Multicore Virtualization for the Telecommunications and Networking Industry
  • Arash Vahidi and Oliver Schwarz, SICS - The SICS hypervisor project
  • Wolfgang J Paul, Saarland University, Germany - Hypervisor Verification, Theory of Multi Core Systems and Semantics from Hell
  • Mads Dam, KTH - Binary Code Analysis - Why, What, How
  • Sang-bum Suh, Samsung & Xen ARM project, Korea - Xen for Android

SICS Open House (2012)


Demonstrating the SICS thin hypervisor: secure real-time monitoring of multiple guest operating systems executing on a BeagleBoard

This springs Open House will take place in SICS offices in Kista. The focus areas for this year are robots in medicine and innovations in media.

The PROSER team will this year participate with a demonstration showcasing the security and real-time properties of the SICS thin hypervisor.