Flow-sensitive semantics for dynamic information flow policies

Niklas Broberg, David Sands. Flow-sensitive semantics for dynamic information flow policies. 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 101-112, ACM, 2009. [doi]

Authors

Niklas Broberg

This author has not been identified. Look up 'Niklas Broberg' in Google

David Sands

This author has not been identified. Look up 'David Sands' in Google