Joe-E
From Erights
(Difference between revisions)
(added paper "Verifiable functional purity in Java") |
(→Papers) |
||
| (2 intermediate revisions not shown) | |||
| Line 6: | Line 6: | ||
* [http://www.cs.berkeley.edu/~amettler/purecomp.pdf Verifiable functional purity in Java] - by Matthew Finifter, Adrian Mettler, Naveen Sastry, David Wagner | * [http://www.cs.berkeley.edu/~amettler/purecomp.pdf Verifiable functional purity in Java] - by Matthew Finifter, Adrian Mettler, Naveen Sastry, David Wagner | ||
| + | * [http://www.cs.berkeley.edu/~daw/papers/joe-e-ndss10.pdf Joe-E: A Security-Oriented Subset of Java] - by Adrian Mettler, David Wagner, and Tyler Close | ||
== Links == | == Links == | ||
Latest revision as of 20:42, 2 February 2010
Joe-E is a subset of the Java programming langauge designed to support programming according to object-capability discipline.
The language guarantees additional security properties by placing restrictions on Java code, but does not modify programs or change their meaning. This allows programmers' existing knowledge of Java to be applied and existing compilers, debuggers, and other tools to be used with Joe-E programs.
Papers
- Verifiable functional purity in Java - by Matthew Finifter, Adrian Mettler, Naveen Sastry, David Wagner
- Joe-E: A Security-Oriented Subset of Java - by Adrian Mettler, David Wagner, and Tyler Close
