A case study in language-based security: building an I/O library for Wyvern.

Jennifer A. Fish, Darya Melicher, Jonathan Aldrich

Browse the full OOPSLA paper archive.