Skip to contents

  5. Hutin, Rémi [Author] ; Rennes, École normale supérieure [Contributor]; Blazy, Sandrine [Contributor]; Pichardie, David [Contributor]

    Verified Secure Compilation against Timing Side-Channels ; Compilation vérifiée et sécurisée contre les canaux cachés temporels

    Thesis
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    theses.fr, 2021-12-01

  6. Joaquim, André [Author]; Pardal, Miguel L. [Author]; Correia, Miguel [Author] ; André Joaquim and Miguel L. Pardal and Miguel Correia [Contributor]

    Vulnerability-Tolerant Transport Layer Security

    Articles
    View online
    Schließen

    Access

    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2018

  7. Li, Yong [Author]; Schäge, Sven [Author]; Yang, Zheng [Author]; Kohlar, Florian [Author]; Schwenk, Jörg [Author]; Krawczyk, Hugo [Author]

    On the security of the pre-shared key ciphersuites of TLS

    Articles
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    2014-01-01

    Published in: Public-key cryptography - PKC 2014 : 17th International Conference on Practice and Theory in Public-Key Cryptography, Buenos Aires, Argentina, March 26 - 28, 2014

  9. Chisnall, David [Author]; Garg, Deepak [Author]; Hritcu, Catalin [Author]; Payer, Mathias [Author] ; David Chisnall and Deepak Garg and Catalin Hritcu and Mathias Payer [Contributor]

    Secure Compilation (Dagstuhl Seminar 21481)

    Articles
    View online
    Schließen

    Access

    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2022

  10. Ahmed, Amal [Author]; Garg, Deepak [Author]; Hritcu, Catalin [Author]; Piessens, Frank [Author] ; Amal Ahmed and Deepak Garg and Catalin Hritcu and Frank Piessens [Contributor]

    Secure Compilation (Dagstuhl Seminar 18201)

    Articles
    View online
    Schließen

    Access

    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2018

  13. Sommer, Dieter [Author] ; Waidner, Michael [Degree supervisor]; Katzenbeisser, Stefan [Degree supervisor]; Camenisch, Jan [Degree supervisor]

    Privacy-enhanced Identity Management – From Cryptography to Practice

    Books
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Darmstadt: Universitäts- und Landesbibliothek Darmstadt, 2014

  14. Krasnowski, Piotr [Author] ; Université Côte d'Azur [Contributor]; Martin, Bruno [Contributor]

    Codage conjoint source-chiffrement-canal pour les canaux de communication vocaux sécurisés en temps réel ; Joint source-cryptographic-channel coding for real-time secure voice communications on voice channels

    Thesis
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    theses.fr, 2021-05-27

  15. Ruhault, Sylvain [Author] ; Paris, Ecole normale supérieure [Contributor]; Pointcheval, David [Contributor]; Vergnaud, Damien [Contributor]

    Security analysis for pseudo-random number generators ; Analyse de sécurité pour les générateurs de nombre pseudo-aléatoires

    Thesis
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    theses.fr, 2015-06-30

  18. Raimondi, Gautier [Author] ; Université de Rennes (2023-.) [Contributor]; Jensen, Thomas [Contributor]; Besson, Frédéric [Contributor]

    Secure compilation against side channel attacks ; Compilation sécurisée contre les attaques par canaux auxiliaires

    Thesis
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    theses.fr, 2023-12-18

  19. Cheval, Vincent [Author]; Cortier, Véronique [Author]; le Morvan, Eric [Author] ; Vincent Cheval and Véronique Cortier and Eric le Morvan [Contributor]

    Secure Refinements of Communication Channels

    Articles
    View online
    Schließen

    Access

    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2015