Lectures related to Fine Control: Babyfoot

Covers the definition, types, and building process of software, including system software and applications.

Principles I: Economy of Mechanism & Fail-safe Defaults

Discusses the 'economy of mechanism' and 'fail-safe default' principles in computer security.

Verifying Security Across Hardware & Software

Covers the verification of security across hardware and software, including verified algorithms and techniques for eliminating speculative leaks.

Computing: From 1 and 0 to Databases

Introduces computing basics, from logic gates to databases, emphasizing data integrity.

Programming Concepts: Variables and Expressions

Covers fundamental programming concepts such as algorithms, variables, and expressions in C++.

Software Engineering Fundamentals

Introduces the fundamentals of software engineering, covering instruction processing, algorithms, programming languages, abstractions, testing, security, and open source.

The Role of Operating Systems: Foundations and Functions

Covers the essential role of operating systems in managing hardware and enabling applications across various devices.