Blogs (9) >>
SPLASH 2016
Sun 30 October - Fri 4 November 2016 Amsterdam, Netherlands
Sun 30 Oct 2016 14:30 - 15:00 at Matterhorn 3 - Security & Capability-based Designs Chair(s): Shigeru Chiba

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.

Paper (meta16-final3.pdf)137KiB

Sun 30 Oct

meta2016
13:30 - 15:10: Meta 2016 - Security & Capability-based Designs at Matterhorn 3
Chair(s): Shigeru ChibaUniversity of Tokyo
meta2016147783060000013:30 - 14:00
Talk
Angel Luis Scull PupoSofware Languages Lab, Vrije Universiteit Brussel, Jens NicolayVrije Universiteit Brussel, Belgium, Elisa Gonzalez BoixVrije Universiteit Brussel
Media Attached File Attached
meta2016147783240000014:00 - 14:30
Talk
Prakasam KannanSan Jose State University, Thomas H. Austin, Mark StampSan Jose State University, Tim Disney, Cormac FlanaganUniversity of California, Santa Cruz
Media Attached File Attached
meta2016147783420000014:30 - 15:00
Talk
Esther WangCarnegie Mellon University, Jonathan AldrichCarnegie Mellon University
Media Attached File Attached