Operating system security: fundamentals and context. Methodologies for analyzing and evaluating operating system security. Mandatory and discretionary access control. Control flow integrity: attacks and defences. Secure operating systems: Multics and security kernels. Security analysis of general purpose operating systems (Windows, Unix, Android). Isolation architectures for data and processes: containers, sandboxing, virtual machines.