ENCoVer: Symbolic Exploration for Information Flow Security | IEEE Conference Publication | IEEE Xplore