Universität Stuttgart
OPUS - Online Publikationen der Universität Stuttgart
Auflistung nach Autor Würtele, Tim
Anzeige der Treffer 1 bis 5 von 5
Erscheinungsdatum | Titel | Autor(en) |
2018 | Entwurf und Analyse eines sicheren und effizienten Bulletin Board auf Basis von Blockchains | Würtele, Tim |
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 |
2016 | Kompression von numerischen Datensätzen mittels mehrdimensionaler hierarchischer Teilraumschemata | Würtele, Tim |
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 |