top left
2nd Workshop on Virtual Machine Security (VMSec)
November, 9 2009 - Hyatt Regency Chicago
top right
top nav  
bottom nav

In conjunction with the ACM Conference on Computer & Communications Security

Workshop Program (joint with SecuCode 2009)
Room Location: TBD

Breakfast (8:00am - 9:00am)

Opening remarks and welcome from Chairs (9:00am - 9:15am)

Keynote (9:15am - 10:30am)
Wolfram Schulte, Microsoft Research
From Dependable Multi-user Operating Systems to Dependable Multi-application
Operating Systems


Morning Break (10:30am - 11:00am)

Session 1: Recovery & Introspection (11:00am - 12:30pm)

A Formal Model for Virtual Machine Introspection
Jonas Pfoh, Christian Schneider, and Claudia Eckert

Emulating Emulation-Resistant Malware
Min Gyung Kang, Heng Yin, Steve Hanna, Stephen McCamant, and Dawn Song

TimeCapsule: Secure Recording of Accesses to a Protected Datastore
Srinivas Krishnan and Fabian Monrose

Lunch (12:30pm - 2:00pm)

Session 2: Software Security (2:00pm - 3:30pm)

Browser protection against Cross-Site Request Forgery
Wim Maes, Thomas Heyman, Lieven Desmet, and Wouter Joosen

Hardware-enforced Fine-grained Isolation of Untrusted Code
Eugen Leontie, Gedare Bloom, Bhagirath Narahari, Rahul Simha, and Joseph Zambreno

Defending Embedded Systems Against Control Flow Attacks

Aurélien Francillon, Daniele Perito, and Claude Castelluccia


Coffee Break (3:30pm - 4:00pm)

Session 3: (Position Papers) Hot Topics in Security Virtualization (4:00pm - 5:30pm)

The Cake is a Lie: Privilege Rings as a Policy Resource
Sergey Bratus, Peter C. Johnson, Michael E. Locasto, Ashwin Ramaswamy,
and Sean W. Smith

Application Containers without Virtual Machines
Micah Sherr and Matt Blaze

Availability-sensitive Intrusion Recovery
Shengzhi Zhang, Xi Xiong, Xiaoqi Jia, and Peng Liu

Closing Remarks and Discussion (5:30pm - 6:00pm)

 

 
bottom right
  bottom right
bottom left