ICE-TCS Lectures Series - Andrei Sabelfeld - Information flow in web applications


The next ICE-TCS  talk for this semester will be delivered on Friday, 26 March, by Andrei Sabelfeld (Chalmers University of Technology, Sweden). The talk, which is entitled Information flow in web applications, will be held at 14:00 in room M1.05 at the new premises of Reykjavik University in Nauthólsvík.


Information-flow tracking in web applications is an attractive, and increasingly popular, alternative for enforcing end-to-end confidentiality and integrity. However, there is a gap between formal, mostly static, approaches -- that lack support for dynamic language features -- and practical, mostly dynamic, approaches -- that lack soundness arguments. This talk discusses some steps towards bridging this gap, focusing on information
release on the policy side and on combinations of static and dynamic techniques on the enforcement side.

The talk is based on joint papers with Aslan Askarov, Andrey Chudnov, Jonas Magazinius, and Alejandro Russo.