UNIX Security
My Stuff
Others' Stuff
Software
- grsecurity Linux kernel patch.
Always use it in your Linux servers (the PaX part, although nowadays it
has some alternatives too).
- systrace
allows sandboxing applications. Supports multiple UNIX kernels.
- Coyotos Plans to build a formally
verified kernel using a self-designed BitC language.