|
| |
Program |
| |
| Joint program with the VMSec workshop |
|
| |
9:00am-9:15am |
Opening Remarks and Welcome from Chairs |
|
|
9:15am-10:30am |
Keynote |
|
|
|
From Dependable Multi-user Operating Systems to Dependable Multi-application
Operating Systems
|
|
|
10:30am-11:00am |
Morning Break |
|
|
11:00am-12:30pm |
Session: Recovery & Introspection |
| |
|
|
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 |
|
|
12:30pm-2:00pm |
Lunch |
|
|
2:00pm-3:30pm |
Session: Software Security |
| |
|
|
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
|
|
|
3:30pm-4:00pm |
Coffee Break |
|
|
4:00pm-5:30pm |
Session: Hot Topics in Security Virtualization |
| |
|
|
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
|
|
|
5:30pm-6:00pm |
Closing Remarks and Discussion |
|
|
| |
|
