Wietse on secure programming traps and pitfalls
At Hack.lu 2006, "a three days conference in the center of Europe for bridging ethics and security in computer science," Wietse Venema (author of Postfix, etc.) did a presentation on secure programming traps and pitfalls: he analyzed "a very small program that appears to be obviously correct, yet completely fails to perform as expected, for more reasons than many people can think of."
Wietse took the example of a broken file shredder, which is defeated by operating systems and hardware optimizations (e.g., caches, journaling file systems, etc.). The last three slides of his presentation (PowerPoint) are a must read.
