Welcome to SICS Workshop on Virtualization and Verification for Security
Time: April 12, 8:30-16:45
Place: Electrum, Isafjordsgatan 22/Kistagången 16, Kista, room Filen at 3rd floor.
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, SICS |
| 16.15 | The end |
Unfortunately Jason Franklin, Carnegie Mellon University is unable to come as planned.
You are most welcome!
Christian Gehrmann (chrisg@sics.se)
Rolf Blom (rolfb@sics.se)
SICS group for Secure Systems.