Skip to contents

  3. Kobeissi, Nadim [Author] ; Paris Sciences et Lettres (ComUE) [Contributor]; Bhargavan, Karthikeyan [Contributor]; Blanchet, Bruno [Contributor]

    Formal verification for real-world cryptographic protocols and implementations ; Vérification formelle des protocoles et des implementations cryptographiques

    Thesis
    View online
    Schließen
    Close

    Bookmarks

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

    theses.fr, 2018-12-10

  4. Robin, Ludovic [Author] ; Université de Lorraine [Contributor]; Kremer, Steve [Contributor]; Delaune, Stéphanie [Contributor]

    Vérification formelle de protocoles basés sur de courtes chaines authentifiées ; Formal verification of protocols based on short authenticated strings

    Thesis
    View online
    Schließen
    Close

    Bookmarks

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

    theses.fr, 2018-02-15

  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

  6. Lu, Tianxiang [Author] ; Université de Lorraine [Contributor]; Universität des Saarlandes [Contributor]; Merz, Stephan [Contributor]; Weidenbach, Christoph [Contributor]

    Formal verification of the Pastry protocol ; Vérification formelle du protocole Pastry

    Thesis
    View online
    Schließen
    Close

    Bookmarks

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

    theses.fr, 2013-11-27

  7. Priya, Swarn [Author] ; Université Côte d'Azur [Contributor]; Bertot, Yves [Contributor]

    Protections vérifiées formellement par ordinateur contre les attaques par canaux auxiliaires basées sur le temps ; Formally computer-verified protections against timing-based side-channel attacks

    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-11-22

  8. 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

  9. Nalpon, Nicolas [Author] ; Toulouse, INSA [Contributor]; Garoche, Pierre-Loïc [Contributor]; Picard, Celia [Contributor]

    Vers la vérification des langages de description d’interface utilisateur ; Towards the verification of user interface description languages

    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-03-13

  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

  11. Marty, Jean-Joseph [Author] ; Rennes 1 [Contributor]; Talpin, Jean-Pierre [Contributor]; Jensen, Thomas [Contributor]

    Contrôle vérifié de flux d'information appliqué aux systèmes cyber-physiques ; Verified information flow control applied to cyber-physical systems

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

  17. Lubat, Éric [Author] ; Toulouse, INSA [Contributor]; Hladik, Pierre-Emmanuel [Contributor]

    Synchronous Product of Time Petri Nets and its Applications to Fault-Diagnosis ; Produit Synchrone de Réseaux de Petri temporel et ses Applications au Diagnostic de Fautes

    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-11-30

  18. 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

  19. Ninet, Tristan [Author] ; Rennes 1 [Contributor]; Delaune, Stéphanie [Contributor]; Zendra, Olivier [Contributor]

    Formal verification of the Internet Key Exchange (IKEv2) security protocol ; Vérification formelle du protocole d'échange de clé IKEv2

    Thesis
    View online
    Schließen
    Close

    Bookmarks

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

    theses.fr, 2020-03-09

  20. Beger, Pascal [Author] ; Toulouse, INSA [Contributor]; Leriche, Sébastien [Contributor]; Prun, Daniel [Contributor]

    Vérification formelle des propriétés graphiques des systèmes informatiques interactifs ; Formal verification of graphical properties of interactive systems

    Thesis
    View online
    Schließen
    Close

    Bookmarks

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

    theses.fr, 2020-10-30