Zum Inhalt springen

  2. Küsters, Ralf [VerfasserIn]; Wilke, Thomas [VerfasserIn]

    Moderne Kryptographie : eine Einführung - [1. Aufl.]

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Wiesbaden: Vieweg + Teubner, 2011

    Erschienen in: Leitfäden der Informatik- Studium

  9. Mohammadi, Esfandiar [VerfasserIn] ; Backes, Michael [MitwirkendeR]

    Abstracting cryptographic protocols ; Die Abstraktion kryptographischer Protokolle

    Hochschulschriften
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Scientific publications of the Saarland University (UdS), 2014

  10. Lehmann, Anja [VerfasserIn] ; Wolf, Stefan [Sonstige Person, Familie und Körperschaft]

    Information Theoretic Security : 8th International Conference, ICITS 2015, Lugano, Switzerland, May 2-5, 2015. Proceedings

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Cham [u.a.]: Springer, 2015

    Erschienen in: Lecture notes in computer science ; 9063

  11. Hritcu, Cătălin [VerfasserIn] ; Backes, Michael [AkademischeR BetreuerIn]

    Union, intersection, and refinement types and reasoning about type disjointness for security protocol analysis

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Saarbrücken: Saarländische Universitäts- und Landesbibliothek, 2012

  12. Goldreich, Oded [HerausgeberIn]

    Computational Complexity and Property Testing : On the Interplay Between Randomness and Computation - [1st ed. 2020.]

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Cham: Springer International Publishing, 2020. ; Cham: Imprint: Springer, 2020.

    Erschienen in: Theoretical Computer Science and General Issues ; 12050- Springer eBook Collection

  14. Smith, Adam [VerfasserIn]

    Information Theoretic Security : 6th International Conference, ICITS 2012, Montreal, QC, Canada, August 15-17, 2012. Proceedings

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin, Heidelberg: Springer, 2012

    Erschienen in: Lecture notes in computer science ; 7412

  15. Hritcu, Catalin [VerfasserIn] ; Backes, Michael [MitwirkendeR]

    Union, intersection, and refinement types and reasoning about type disjointness for security protocol analysis ; Disjunktive, konjunktive, und Verfeinerungstypen und die Beweisführung der Disjunktheit von Typen für die Analyse von Sicherheitsprotokollen

    Hochschulschriften
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Scientific publications of the Saarland University (UdS), 2012-03-29