Provably-Secure Programming Languages for Remote Evaluation
Abstract
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, hnportant
research areas include designing suitable languages for remote evaluation, identitying appropriate
security and safety properties for them, and developing provably-sound logics tor reasoning about
the properties in the context of separate compilation and dynamic linking.