Apurva Kumar. Using automated model analysis for reasoning about security of web protocols. In Robert H'obbes' Zakon, editor, 28th Annual Computer Security Applications Conference, ACSAC 2012, Orlando, FL, USA, 3-7 December 2012. pages 289-298, ACM, 2012. [doi]
Abstract is missing.