CS 528/428: Language-Based Security, Spring 2024

CS 528/428: Language-Based Security

Spring 2024, Yale University

We will use the Ed Discussion forum (also accessible through the Yale canvas site) for announcements and discussions. See the Quick Start Guide to learn how to use Ed Discussion.

Last modified: January 28, 2024. This page is still under major construction!

Course Information

Reading List

Schedule and Lecture Notes

Assignments and Projects

Resources

Online Resources (not quite up-to-date yet)

Software Foundations Volume 1 (Logical Founations) with source files, by Benjamin C. Pierce, et al.
How to install opam and then install Coq with opam (try coq.8.17 or later for best compatibility with the Software Foundation book)
Proof General and its FAQ, User Manual (PDF), and other documentation.
Coq'Art home pages, CoqWiki, the coq-club mailing list, and other Coq documentation.
OS lab tools guide and debugging tips
Reading materials about x86 and PC hardware
How to install compiler toolchain and QEMU
OSDev Wiki, OSNews, SIGOPS, and advanced readings

Executable and Linkable Format (ELF) (pdf).
GNU online manuals including as (the GNU assembler), gdb, gcc, and emacs.

An excellent online C reference (html).
An Introduction to Programming with Threads (pdf).
The art of assembly language (online html and pdf)

GNU Online Docs, including the complete Emacs manual.
Frequently-Asked Questions (FAQ) for Emacs and Unix.
The Zoo, and Zoo-Specific Help Documents