Using automated model analysis for reasoning about security of web protocols.

Apurva Kumar

Browse the full ACSAC paper archive.