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

Displayed 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 Murray NICTA and UNSW
15:10
20m
Talk
Short Paper: The Meaning of Attack-Resistant Systems
PLAS
Vijay Ganesh University of Waterloo, Sebastian Banescu Technical University of Munich, Martín Ochoa Technical University of Munich