SPLASH 2016 (series) / META 2016 (series) / Workshop on Meta-Programming Techniques and Reflection /
Capability Safe Reflection for the Wyvern Language
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 Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Sun 30 Oct
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
13:30 - 15:10: Security & Capability-based DesignsMETA at Matterhorn 3 Chair(s): Shigeru ChibaUniversity of Tokyo | |||
13:30 - 14:00 Talk | Declaratively Specifying Security Policies For Web Applications META Angel Luis Scull PupoSofware Languages Lab, Vrije Universiteit Brussel, Jens NicolayVrije Universiteit Brussel, Belgium, Elisa Gonzalez BoixVrije Universiteit Brussel Media Attached File Attached | ||
14:00 - 14:30 Talk | Virtual Values for Taint and Information Flow Analysis META 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 | ||
14:30 - 15:00 Talk | Capability Safe Reflection for the Wyvern Language META Media Attached File Attached |