Seminar: Current Topics in Information-Flow Control

Organizer:	Prof. Dr. Heiko Mantel
Form:	block seminar (probably around February 2012)
Registration:	via TUCaN or in our secretariat.
Literature:	will be announced during the preparation meeting
Preparation Meeting:	Wednesday, October 19, 2011, 16:15 in room S2|02/E302

Content

When giving a program access to confidential data, one has to ensure that the program cannot leak this data to untrusted sinks. Such leakage may occur unintentionally (for instance, due to a programming error), but it could also be caused by a malicious program (for instance, by a Trojan horse).

One possible solution is information flow control. Formally defined information flow properties provide the basis for a property-centric and semantically well-founded approach to program security. Moreover, program analysis techniques for information flow properties provide a reliable way to check whether a program is indeed secure.

The seminar will take place as block seminar, where the focus will be on the discussion of current research papers on information flow control presented by the participants.

Last modified on 22 October 2012.