SET /
ProSec session
Schedule
JavaScript madness
09.00 | Filippo del Tedesco: Semantic specification of information erasure |
09.20 | Arnar Birgisson: Capabilities for information flow |
09.40 | Willard Hrafnsson: Secure Initialization with Class Hierarchies |
10.00 | Coffee break |
Security typing
10.30 | Niklas Broberg: Paragon Programming |
Mad hacking
11.00 | Jonas Magazinius: Cross-Polyglot Scripting |