Detecting Leaks of Sensitive Data Due to Stale Reads. - Will Snavely; William Klieber; Ryan Steele; David Svoboda; Andrew Kotov (SecDev, 2018)