Welcome to SICS Workshop on Virtualization and Verification for Security

15 February, 2012 - 14:06

Time: April 12, 8:30-16:45

Place: Electrum, Isafjordsgatan 22/Kistagången 16, Kista, room Filen at 3rd floor.

Abstracts and bios. 

Presentations.

The conference is full and the registration has closed.

Program

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)