A case study in language-based security: building an I/O library for Wyvern. - Jennifer A. Fish; Darya Melicher; Jonathan Aldrich (Onward!, 2020)