Combined notes gathering all software-related material into a single reference document.

CS-214 — Software Construction
COM-301 — Computer Security and Privacy

Notes for software construction:
Learn how to design and implement reliable, maintainable, and efficient software using a mix of programming skills (declarative style, higher-order functions, inductive types, parallelism) and fundamental software construction principles (reusability, abstraction, encapsulation, composition, proofs).

CS-214 — Software Construction

Notes on computer security and privacy:
Introductory course to computer security and privacy. The goal is to help students reason about security and privacy problems and to equip them with fundamental tools to confront real-world threats.

COM-301 — Computer Security and Privacy

Condensed midterm-friendly formulas, definitions, and main concepts for Security & Privacy.

COM-301 — Computer Security and Privacy