On confidentiality and algorithms: programming under the constraints of noninterference | IEEE Conference Publication | IEEE Xplore