Explore projects

Material zur Erstsemestereinführung (Vortragsfolien, Briefe, Grillen, Evaluation, ...)

Sammlung von Fragen zu SP2 mit Kommentaren.

Quelltext und Daten vom Selbst-Prüfungs-Quiz für: SP2, SP1

ESE-Heft der FSIen Inf und CE

https://sys.cs.fau.de/verifence

Fishy SSO solution

An utility to intentionally triggering the failure of libc function calls. Manpage.

Various experimental extensions to the Linux Kernel.