Scott Moore, Aslan Askarov, Stephen Chong. Precise enforcement of progress-sensitive security. In Ting Yu, George Danezis, Virgil D. Gligor, editors, the ACM Conference on Computer and Communications Security, CCS'12, Raleigh, NC, USA, October 16-18, 2012. pages 881-893, ACM, 2012. [doi]