| SE547: Lecture 2 (Information Flow) [0/23] | |
| Background: Operational Semantics and Type Systems [1/23] |
| Information flow [2/23] |
| Information flow [3/23] |
| Sequential noninterference [4/23] |
| Sequential noninterference [5/23] |
| Sequential noninterference [6/23] |
| Sequential noninterference [7/23] |
| Sequential noninterference [8/23] |
| Sequential noninterference [9/23] |
| Types [10/23] |
| Subtyping [11/23] |
| Sequential noninterference [12/23] |
| Timing channels [13/23] |
| Timing channels [14/23] |
| Concurrent noninterference [15/23] |
| Concurrent noninterference [16/23] |
| Declassification [17/23] |
| JIF [18/23] |
| JIF [19/23] |
| JIF [20/23] |
| Summary [21/23] |
| Inference Rules in Programming Languages [22/23] |
| Acknowledgement [23/23] |