A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2016; you can also visit the original URL.
The file type is application/pdf.
Security through extensible type systems
2012
Proceedings of the 3rd annual conference on Systems, programming, and applications: software for humanity - SPLASH '12
Preserved Fulltext
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