A Lightweight Formal Approach for Analyzing Security of Web Protocols.

Apurva Kumar

Browse the full RAID paper archive.