Universität Stuttgart
OPUS - Online Publikationen der Universität Stuttgart
Auflistung nach Autor Waldmann, Clara
Anzeige der Treffer 1 bis 2 von 2
Erscheinungsdatum | Titel | Autor(en) |
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 |
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 |