Ralf Kuesters [Speaker-Timeline] [Speaker-Links]

Tell us about missing data
Title Conference Tags
An Extensive Formal Security Analysis of the OpenID Financial-grade API IEEESymposium-2019 - San Francisco, US
An Expressive Model for the Web Infrastructure: Definition and Application to the BrowserID SSO System IEEE-2014 - SamJose,USA
A Framework for the Cryptographic Verification of Java-like Programs 25th IEEE Computer Security Foundations Symposium-2012 - Cambridge, MA, USA
Composition Theorems Without Pre-Established Session Identifiers Confrence-on-computer-communications-security-2011 - Chicago, USA
Applied cryptography Confrence-on-computer-communications-security-2011 - Chicago, USA Security