Secure information flow and pointer con .nement in a java-like language | IEEE Conference Publication | IEEE Xplore