Auflistung nach Autor Bhargavan, Karthikeyan
Anzeige der Treffer 1 bis 1 von 1
Erscheinungsdatum | Titel | Autor(en) |
---|---|---|
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 |