Security through extensible type systems

Nathan Fulton
2012 Proceedings of the 3rd annual conference on Systems, programming, and applications: software for humanity - SPLASH '12  
Researchers interested in security often wish to introduce new primitives into a language. Extensible languages hold promise in such scenarios, but only if the extension mechanism is sufficiently safe and expressive. This paper describes several modifications to an extensible language motivated by end-to-end security concerns.
doi:10.1145/2384716.2384761 dblp:conf/oopsla/Fulton12 fatcat:fjtpshcgi5dvvogdj2e7ub2wyy