Write a Blog >>
Filter
Conference Dates
Conference Dates are in time zone (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna, and may differ from the viewed time zone.
Rooms
Tracks
Badges
Your Program
You're viewing the program in a time zone which is different from your device's time zone - change time zone

Thu 22 Jun
Times are displayed in time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

dsw-2017-papers
09:00 - 10:00: DSW 2017 - Intro & industry perspective on crypto at Vertex WS216
Chair(s): Andrew AppelPrinceton
dsw-2017-papers09:00 - 09:15
Day opening
Lennart BeringerPrinceton University, Adam ChlipalaMassachusetts Institute of Technology, USA
dsw-2017-papers09:15 - 10:00
Talk
dsw-2017-papers
10:30 - 12:10: DSW 2017 - Academic crypto projects; industry perspective on formal-methods integration at Vertex WS216
Chair(s): Zhong ShaoYale University
dsw-2017-papers10:30 - 11:00
Talk
Adam ChlipalaMassachusetts Institute of Technology, USA
dsw-2017-papers11:00 - 11:30
Talk
Lennart BeringerPrinceton University
dsw-2017-papers11:30 - 12:10
Talk
Aleksey NoginHRL Laboratories, LLC
dsw-2017-papers
13:40 - 15:00: DSW 2017 - Academic C-verification project; industry perspective on hypervisors at Vertex WS216
Chair(s): Adam ChlipalaMassachusetts Institute of Technology, USA
dsw-2017-papers13:40 - 14:20
Talk
Andrew AppelPrinceton
dsw-2017-papers14:20 - 15:00
Talk
Michael TautschnigAmazon Web Services
dsw-2017-papers
15:30 - 17:00: DSW 2017 - Academic hypervisor project; closing discussion at Vertex WS216
Chair(s): Lennart BeringerPrinceton University
dsw-2017-papers15:30 - 16:15
Talk
Zhong ShaoYale University
dsw-2017-papers16:15 - 17:00
Day closing
iCalendar subscription service for your personal schedule
You first need to have starred events () in order to use the iCalendar subscription service.
Currently Viewed Program
Downloads the currently viewed program (with filters applied) in iCal format
Session Calendar (ical)
Detailed Event Calendar (ical)