Mardziel, et al.. Quantifying Information Flow for Dynamic Secrets. IEEE, 2014, doi:10.1109/sp.2014.41.