Discovering concrete attacks on website authorization by formal analysis. (2012)

by C BANSAL, K BHARGAVAN, S MAFFEIS
Venue:In IEEE CSF