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
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

13:50 - 15:20: Session 2Doctoral Symposium at Belli
13:50 - 14:20
Talk
Doctoral Symposium
Eric JulAlcatel-Lucent Bell Labs
14:20 - 14:50
Talk
Doctoral Symposium
A: Julia BelyakovaSouthern Federal University
14:50 - 15:20
Talk
Doctoral Symposium