Automatic Repair of Java Code with Timing Side-Channel Vulnerabilities | IEEE Conference Publication | IEEE Xplore