Lenient array operations for practical secure information flow | IEEE Conference Publication | IEEE Xplore