Ximeng Li 0001, Flemming Nielson, Hanne Riis Nielson. Future-dependent Flow Policies with Prophetic Variables. In Toby C. Murray, Deian Stefan, editors, Proceedings of the 2016 ACM Workshop on Programming Languages and Analysis for Security, PLAS@CCS 2016, Vienna, Austria, October 24, 2016. pages 29-42, ACM, 2016. [doi]
Abstract is missing.