Blogs (28) >>
ECOOP 2016
Sun 17 - Fri 22 July 2016 Rome, Italy
Sun 17 Jul 2016 14:50 - 15:20 at Belli - Session 2

Security-typed languages provide effective ways to statically enforce security policies, such as confidentiality. Downsides that make a security typing discipline hard to adopt are the annotation overhead and the rigidity of the typing discipline itself. Those problems can be approached using both optional typing and gradual typing. Prior work have focused on the gradual security typing approach. In this work we start to explore the design space of optional security typing since there are different interpretations of what optional security typing means. We describe two interpretations that produce type systems with different levels of strictness regarding the security analysis. This suggests that programmers may benefit from being given the possibility to choose depending on the desired flexibility.

Sun 17 Jul

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

13:50 - 15:20
13:50
30m
Talk
Invited Talk: How to get your Ph.D. DONE
Doctoral Symposium
Eric Jul Alcatel-Lucent Bell Labs
14:20
30m
Talk
Concept Parameters as a New Mechanism of Generic Programming for C# Language
Doctoral Symposium
A: Julia Belyakova Southern Federal University
14:50
30m
Talk
Exploring optional security typing
Doctoral Symposium