HyperGI: Automated Detection and Repair of Information Flow Leakage | IEEE Conference Publication | IEEE Xplore