Secure Programming with Joe-E


Adrian Mettler
Thursday, December 2, 2010
4:15 PM – 5:30 PM
Rose Hills Theater
More information
Pomona colloquium information

This week’s colloquium will be at Pomona.

Joe-E is a language designed to support the development of secure software systems. Joe-E is a subset of Java that makes it easier to architect and implement programs with strong security properties that can be checked during a security review. It enables programmers to apply the principle of least privilege to their programs; implement application-specific reference monitors that cannot be bypassed; introduce and use domain-specific security abstractions; safely execute and interact with untrusted code; and build secure, extensible systems.

Joe-E demonstrates how it is possible to achieve the strong security properties of an object-capability language while retaining the features and feel of a mainstream object-oriented language.