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

Jennifer A. Fish, Darya Melicher, Jonathan Aldrich. A case study in language-based security: building an I/O library for Wyvern. In Proceedings of the 2020 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software, Onward! 2020, Virtual, November, 2020. pages 34-47, ACM, 2020. [doi]

Authors

Jennifer A. Fish

This author has not been identified. Look up 'Jennifer A. Fish' in Google

Darya Melicher

This author has not been identified. Look up 'Darya Melicher' in Google

Jonathan Aldrich

This author has not been identified. Look up 'Jonathan Aldrich' in Google