Welcome to SICS Workshop on Virtualization and Verification for Security

Abstracts and bios.


The conference is full and the registration has closed.


08.30 Registration

09.00 Welcome, Rolf Blom, SICS

09.10 Hypervisors for security in embedded systems, Christian Gehrmann, SICS

09.30 Towards a Platform for Secure Systems, Gernot Heiser, University of New South Wales (UNSW) & National ICT Australia (NICTA), Australia

10.30 Coffee

11.00 Multicore Virtualization for the Telecommunications and Networking Industry, Magnus Karlsson, ENEA AB, Sweden

11.45 The SICS hypervisor project, Arash Vahidi and Oliver Schwarz, SICS

12.30 Lunch (included)

13.30 Hypervisor Verification, Theory of Multi Core Systems and Semantics from Hell, Wolfgang J Paul, Saarland University, Germany

14.30 Coffee

14.55 Binary Code Analysis - Why, What, How, Mads Dam, Royal Institute of Technology, Sweden

15.25 Xen for Android, Sang-bum Suh, Samsung  & Xen ARM project, Korea

16.10 Final remarks, Rolf Blom, SICS16.15The end

Unfortunately Jason Franklin, Carnegie Mellon University is unable to come as planned.

You are most welcome!

Christian Gehrmann (chrisg [at] sics.se) and Rolf Blom (rolfb [at] sics.se)

Thursday, April 12, 2012, 08:30 to 16:45
Electrum, room Filen at 3rd floor.
Isafjordsgatan 22
Rolf Blom