CCS 2016 - A Comprehensive Formal Security Analysis of OAuth 2 0

Authors: Daniel Fett, Ralf Küsters and Guido Schmitz (University of Trier)presented at CCS 2016 - the 23rd ACM Conference on Computer and Communications Secu...