Date and Time: Thursday, 28 October 2010, 15:45 - 16:45

Location: HG 6.96

Speaker: Mohammad Mousavi (OAS)

Title: How to cook a security-enabled semantics

Abstract:

Guaranteeing end-to-end information flow security is more challenging than it seems at the first glance. Language-based security provides support for this goal at the level of the syntax and semantics of programming languages. In this talk, we review some of the basic features used in security-typed programming languages and study their semantics. Then, we try to apply the basic principles to extend the semantics of a security-typed programming language with a combination of static- and dynamic-information-flow analysis.