Skip to contents

  5. Ciobâcǎ, Ştefan [Author] ; Cachan, Ecole normale supérieure [Contributor]; Cortier, Véronique [Contributor]; Goubault-Larrecq, Jean [Contributor]; Kremer, Steve [Contributor]

    Verification and composition of security protocols with applications to electronic voting ; Vérification et composition des protocoles de securité avec des applications aux protocoles de vote electronique

    Thesis
    View online
    Schließen
    Close

    Bookmarks

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

    theses.fr, 2011-12-09

  10. Polubelova, Marina [Author] ; Université Paris sciences et lettres [Contributor]; Bhargavan, Karthikeyan [Contributor]

    Construction d'une bibliothèque cryptographique multi-plateformes formellement vérifiée à haute performance en F* ; Building a formally verified high-performance multi-platform cryptographic library in F*

    Thesis
    View online
    Schließen
    Close

    Bookmarks

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

    theses.fr, 2022-01-17

  12. He, Lulu [Author] ; université Paris-Saclay [Contributor]; Dague, Philippe [Contributor]; Ye, Lina [Contributor]

    Formal verification at design stage of diagnosis related properties for discrete event and real-time systems ; Vérification formelle au stade de la conception de propriétés liées au diagnostic des systèmes à événements discrets et temps réel

    Thesis
    View online
    Schließen
    Close

    Bookmarks

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

    theses.fr, 2022-05-18

  15. Robles, Virgile [Author] ; université Paris-Saclay [Contributor]; Le Gall, Pascale [Contributor]; Prevosto, Virgile [Contributor]; Kosmatov, Nikolaï [Contributor]

    Specifying and verifying high-level requirements on large programs : application to security of C programs ; Spécifier et vérifier des exigences de haut niveau sur des programmes importants : application à la sécurité des programmes C

    Thesis
    View online
    Schließen
    Close

    Bookmarks

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

    theses.fr, 2022-01-21

  16. De Boutray, Henri [Author] ; Bourgogne Franche-Comté [Contributor]; Giorgetti, Alain [Contributor]; Holweck, Frédéric [Contributor]; Masson, Pierre-Alain [Contributor]

    Computational studies of entanglement and quantum contextuality properties towards their formal vérification ; Etudes calculatoires de l'intrication et de la contextualité quantiques dans la perspective de leur vérification formelle

    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-16