Visible to the public Domain Specific Security through Extensible Type SystemsConflict Detection Enabled

TitleDomain Specific Security through Extensible Type Systems
Publication TypeConference Proceedings
Year of Publication2012
AuthorsNathan Fulton
Conference NameSPLASH '12 Proceedings of the 3rd annual conference on Systems, programming, and applications: software for humanity
Pagination107-108
Date Published10/2012
PublisherACM New York, NY, USA ©2012
Conference LocationTucson, Arizona
ISBN978-1-4503-1563-0
KeywordsCMU, 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.

DOI10.1145/2384716.2384761
Citation Keynode-30163

Other available formats:

Fulton_Domain_Specific_Security.pdf
AttachmentTaxonomyKindSize
Fulton_Domain_Specific_Security.pdfPDF document317.16 KBDownloadPreview