Chetan Bansal, Karthikeyan Bhargavan, Sergio Maffeis. Discovering Concrete Attacks on Website Authorization by Formal Analysis. In Stephen Chong, editor, 25th IEEE Computer Security Foundations Symposium, CSF 2012, Cambridge, MA, USA, June 25-27, 2012. pages 247-262, IEEE, 2012. [doi]
Abstract is missing.