Avraham Shinnar, Marco Pistoia, Anindya Banerjee. A language for information flow: dynamic tracking in multiple interdependent dimensions. In Stephen Chong, David A. Naumann, editors, Proceedings of the 2009 Workshop on Programming Languages and Analysis for Security, PLAS 2009, Dublin, Ireland, 15-21 June, 2009. pages 125-131, ACM, 2009. [doi]
Abstract is missing.