ETAPS 2019
Sat 6 - Thu 11 April 2019 Prague, Czech Republic
VenueOrea Hotel Pyramida
Room nameMOON
Floor0
Additional informationThere is no additional information of this room available.
Program

You're viewing the program in a time zone which is different from your device's time zone - change time zone

Thu 11 Apr
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

10:30 - 12:30: Covert Channels and Information FlowPOST at MOON
10:30 - 11:00
Talk
Foundations for Parallel Information Flow Control Runtime Systems
POST
Marco VassenaChalmers University of Technology, Gary Soeller, Peter Amidon, Matthew Chan, John RennerUniversity of California, San Diego, Deian StefanUniversity of California San Diego
Link to publication
11:00 - 11:30
Talk
A Formal Analysis of Timing Channel Security via Bucketing
POST
Tachio TerauchiWaseda University, Timos AntonopoulosYale University
Link to publication
11:30 - 12:00
Talk
A Dependently Typed Library for Static Information-Flow Control in Idris
POST
Simon Oddershede GregersenAarhus University, Søren Eller ThomsenAarhus University, Aslan AskarovAarhus University
Link to publication
12:00 - 12:30
Talk
Achieving Safety Incrementally with Checked C
POST
Andrew Ruef, Leonidas LampropoulosUniversity of Pennsylvania, Ian Sweet, David Tarditi, Michael HicksUniversity of Maryland, College Park
Link to publication

Thu 11 Apr
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change