Plan 9 from Bell Labs (1995)

Mylar: Experimental platform for web apps with end-to-end encryption (2014)

Security in Plan 9

Some thoughts on security after ten years of qmail 1.0 (2007)

Jitk: A Trustworthy In-Kernel Interpreter Infrastructure

Analysis of a Botnet Takeover (2012)

The Confused deputy

MIT 6.858 Computer Systems Security Final Projects

Transaction chains: low-latency serializability in distributed storage systems [pdf]