Domain Specific Security through Extensible Type Systems
| Title | Domain Specific Security through Extensible Type Systems |
| Publication Type | Conference Proceedings |
| Year of Publication | 2012 |
| Authors | Fulton, Nathan |
| Conference Name | SPLASH '12 Proceedings of the 3rd annual conference on Systems, programming, and applications: software for humanity |
| Abstract | 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. |
| Citation Key | node-17150 |
Groups: