Eliminating covert flows with minimum typings | IEEE Conference Publication | IEEE Xplore