ECOOP 2015
Sun 5 - Fri 10 July 2015 Prague, Czech Republic
Mon 6 Jul 2015 15:10 - 15:30 at Karlstejn - Technical talks II

Mon 6 Jul
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

14:50 - 15:30
Technical talks IIPLAS at Karlstejn
14:50
20m
Talk
Short Paper: On High-Assurance Information-Flow-Secure Programming Languages
PLAS
Toby MurrayNICTA and UNSW
15:10
20m
Talk
Short Paper: The Meaning of Attack-Resistant Systems
PLAS
Vijay GaneshUniversity of Waterloo, Sebastian BanescuTechnical University of Munich, Martín OchoaTechnical University of Munich