Joe-E: A Security-Oriented Subset of Java.

Adrian Mettler, David A. Wagner, Tyler Close

Browse the full NDSS paper archive.