Universität Stuttgart
OPUS - Online Publikationen der Universität Stuttgart
Auflistung nach Autor Küsters, Ralf
Anzeige der Treffer 1 bis 5 von 5
Erscheinungsdatum | Titel | Autor(en) |
2023 | Formal security analysis of the OpenID FAPI 2.0 Security Profile with FAPI 2.0 Message Signing, FAPI-CIBA, Dynamic Client Registration and Management : technical report | Hosseyni, Pedram; Küsters, Ralf; Würtele, Tim |
2023 | The Grant Negotiation and Authorization Protocol : attacking, fixing, and verifying an emerging standard | Helmschmidt, Florian; Hosseyni, Pedram; Küsters, Ralf; Pruiksma, Klaas; Waldmann, Clara; Würtele, Tim |
2020 | The IITM model : a simple and expressive model for universal composability | Küsters, Ralf; Tuengerthal, Max; Rausch, Daniel |
2020 | Joint state composition theorems for public-key encryption and digital signature functionalities with local computation | Küsters, Ralf; Tuengerthal, Max; Rausch, Daniel |
2023 | Layered symbolic security analysis in DY* | Bhargavan, Karthikeyan; Bichhawat, Abhishek; Hosseyni, Pedram; Küsters, Ralf; Pruiksma, Klaas; Schmitz, Guido; Waldmann, Clara; Würtele, Tim |