How to Open a File and Not Get Hacked

• How to Open a File and Not Get Hacked (extended version) by James A. Kupsch and Barton P. Miller.
• How to Open a File and Not Get Hacked by James A. Kupsch and Barton P. Miller, to be published in the proceedings of The Third International Conference on Availability, Reliability and Security (ARES 2008).
• Safefile library source code implementing the ideas in the paper.
• man pages for functions in the safefile library.