HyperGI: Automated Detection and Repair of Information Flow Leakage

Ibrahim Mesecan, Daniel Blackwell, David Clark +2

Maintaining confidential information control in software is a persistent security problem where failure means secrets can be revealed via program behaviors. Information flow contro…