Domain Specific Security through Extensible Type Systems
| Title | Domain Specific Security through Extensible Type Systems |
| Publication Type | Conference Proceedings |
| Year of Publication | 2012 |
| Authors | Nathan Fulton |
| Conference Name | SPLASH '12 Proceedings of the 3rd annual conference on Systems, programming, and applications: software for humanity |
| Pagination | 107-108 |
| Date Published | 10/2012 |
| Publisher | ACM New York, NY, USA ©2012 |
| Conference Location | Tucson, Arizona |
| ISBN | 978-1-4503-1563-0 |
| Keywords | CMU, extensibility, security |
| 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. |
| DOI | 10.1145/2384716.2384761 |
| Citation Key | node-30163 |
| Attachment | Size |
|---|---|
| bytes |
Groups: