SET /

ProSec session

Schedule

JavaScript madness

09.00Filippo del Tedesco: Semantic specification of information erasure
09.20Arnar Birgisson: Capabilities for information flow
09.40Willard Hrafnsson: Secure Initialization with Class Hierarchies
10.00Coffee break

Security typing

10.30Niklas Broberg: Paragon Programming

Mad hacking

11.00Jonas Magazinius: Cross-Polyglot Scripting