Class properties for security review in an object-capability subset of Java: (short paper).

Adrian Mettler, David A. Wagner

Browse the full PLDI paper archive.