This module gives you a deep understanding of how information flows through software. This awareness gives you a new perspective when writing software with security requirements; it helps you avoid introducing information leaks into software and gives you a conceptual framework for reasoning about software security in general.
You will meet concepts like information leak, sources & sinks, dependencies, side–channels, and flow policies. You will learn to identify information flows in software, to express application–specific security requirements as flow policies, and to implement software that adheres to said flow policies.
