Visible to the public Capability Safe Reflection for the Wyvern LanguageConflict Detection Enabled

TitleCapability Safe Reflection for the Wyvern Language
Publication TypeConference Proceedings
Year of Publication2016
AuthorsEsther Wang, Jonathan Aldrich
Conference NameSPLASH 2016
Series TitleWorkshop on Meta-Programming Techniques and Reflection (META)
Date Published10/2016
Conference LocationAmsterdam, Netherlands
Keywordscapability safety, CMU, Jan'17, mirrors, reflection, Wyvern

Reflection allows a program to examine and even modify itself, but its power can also lead to violations of encapsulation and even security vulnerabilities. The Wyvern language leverages static types for encapsulation and provides security through an object capability model. We present a design for reflection in Wyvern which respects capability safety and type-based encapsulation. This is accomplished through a mirror-based design, with the addition of a mechanism to constrain the visible type of a reflected object. In this way, we ensure that the programmer cannot use reflection to violate basic encapsulation and security guarantees.

Citation Keynode-31395

Other available formats:

Wang_Capability_Safe_Reflection_DG.pdfPDF document146.25 KBDownloadPreview