A case study in language-based security: building an I/O library for Wyvern
Jennifer A. Fish, Darya Melicher, Jonathan Aldrich · 2020
As the impact of vulnerabilities increases in practice, it is imperative for programming languages to include security as a first-class design consideration. While a number of security-related language features have been proposed to address this need, in many cases, we do not know enough about whether it is practical and useful to build software systems in languages with these features.