In 1988, the Internet was stuck by the first worm. It propagated by exploiting buffer overflows. 15 years later, it seems like people didn't learn the lesson: buffer overflows are still security problem number one. Millions of lines of C code in modern UNIX systems provide ample of opportunity for bugs to hide, and UNIX doesn't do much to stop the bugs either.

This lecture will look into alternative programming language and operating system approaches, and what they can do to help us build secure and reliable systems.