Provably-Secure Programming Languages for Remote Evaluation; Research paper

摘要

Remote evaluation and dynamically extensible systems pose serious safety and security risks. Programming language design has a major role in overcoming some of these risks. Important research areas include designing suitable languages for remote evaluation, identifying appropriate security and safety properties for them, and developing provably sound logics for reasoning about the properties in the context of separate compilation and dynamic linking.