| Title | Security Through Extensible Type Systems |
| Publication Type | Conference Paper |
| Year of Publication | 2012 |
| Authors | Fulton, Nathan |
| Conference Name | Proceedings of the 3rd Annual Conference on Systems, Programming, and Applications: Software for Humanity |
| Publisher | ACM |
| Conference Location | Tucson, Arizona, USA |
| ISBN Number | 978-1-4503-1563-0 |
| Keywords | A Language and Framework for Development of Secure Mobile Applications, CMU, extensibility, Human Behavior, Scalability and Composability, science of security, security, SoS Lablet |
| 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. |
| URL | http://doi.acm.org/10.1145/2384716.2384761 |
| DOI | 10.1145/2384716.2384761 |
| Citation Key | Fulton:2012:STE:2384716.2384761 |
Security Through Extensible Type Systems