guest blog

Guest Blog: Formal Analysis of the OpenID Financial-grade API

Guest blog post by Daniel Fett (, Pedram Hosseyni, and Ralf Küsters (University of Stuttgart). The security of a web protocol is crucial, especially in the domain of financial applications and in other high-stakes environments. For identifying weaknesses in protocols and ensuring security, formal protocol analysis is the state-of-the-art method. […]