Visible to the public Security Through Extensible Type Systems

TitleSecurity Through Extensible Type Systems
Publication TypeConference Paper
Year of Publication2012
AuthorsFulton, Nathan
Conference NameProceedings of the 3rd Annual Conference on Systems, Programming, and Applications: Software for Humanity
Conference LocationTucson, Arizona, USA
ISBN Number978-1-4503-1563-0
KeywordsA Language and Framework for Development of Secure Mobile Applications, CMU, extensibility, Human Behavior, Scalability and Composability, science of security, security, SoS Lablet
AbstractResearchers 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 KeyFulton:2012:STE:2384716.2384761