Secure Information Flow - Einzelansicht

This lecture will cover information flow control (IFC) for programs, starting from standard notions like noninterference, that, e.g., guarantee that no secret may leak to public output. We will cover related concepts like declassification of sensitive information, integrity of computations, side channels, IFC for concurrent programs, and static and dynamic approaches to enforce IFC in practice.

Students with prior experience in concepts like program semantics, type systems, and compiler analyses will benefit from that background, which, however, is not actually required as these concepts will be introduced whenever needed.