1. OPUS

Auflistung nach Autor Hosseyni, Pedram

Gehe zu: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
oder geben Sie die Anfangszeichen ein:  
Anzeige der Treffer 1 bis 5 von 5
ErscheinungsdatumTitelAutor(en)
2016Contraction Hierarchies für kontinuierliche GraphsimplifizierungHosseyni, Pedram
2023Formal security analysis of the OpenID FAPI 2.0 Security Profile with FAPI 2.0 Message Signing, FAPI-CIBA, Dynamic Client Registration and Management : technical reportHosseyni, Pedram; Küsters, Ralf; Würtele, Tim
2023The Grant Negotiation and Authorization Protocol : attacking, fixing, and verifying an emerging standardHelmschmidt, Florian; Hosseyni, Pedram; Küsters, Ralf; Pruiksma, Klaas; Waldmann, Clara; Würtele, Tim
2023Layered symbolic security analysis in DY*Bhargavan, Karthikeyan; Bichhawat, Abhishek; Hosseyni, Pedram; Küsters, Ralf; Pruiksma, Klaas; Schmitz, Guido; Waldmann, Clara; Würtele, Tim
2018Security analysis of the OpenID financial-grade APIHosseyni, Pedram
Anzeige der Treffer 1 bis 5 von 5