Zum Inhalt springen

  3. Kobeissi, Nadim [Verfasser:in] ; Paris Sciences et Lettres (ComUE) [Mitwirkende:r]; Bhargavan, Karthikeyan [Mitwirkende:r]; Blanchet, Bruno [Mitwirkende:r]

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

    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.

    theses.fr, 2018-12-10

  4. Robin, Ludovic [Verfasser:in] ; Université de Lorraine [Mitwirkende:r]; Kremer, Steve [Mitwirkende:r]; Delaune, Stéphanie [Mitwirkende:r]

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

    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.

    theses.fr, 2018-02-15

  5. Ciobâcǎ, Ştefan [Verfasser:in] ; Cachan, Ecole normale supérieure [Mitwirkende:r]; Cortier, Véronique [Mitwirkende:r]; Goubault-Larrecq, Jean [Mitwirkende:r]; Kremer, Steve [Mitwirkende:r]

    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

    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.

    theses.fr, 2011-12-09

  6. Lu, Tianxiang [Verfasser:in] ; Université de Lorraine [Mitwirkende:r]; Universität des Saarlandes [Mitwirkende:r]; Merz, Stephan [Mitwirkende:r]; Weidenbach, Christoph [Mitwirkende:r]

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

    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.

    theses.fr, 2013-11-27

  7. Priya, Swarn [Verfasser:in] ; Université Côte d'Azur [Mitwirkende:r]; Bertot, Yves [Mitwirkende:r]

    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

    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.

    theses.fr, 2023-11-22

  8. Raimondi, Gautier [Verfasser:in] ; Université de Rennes (2023-.) [Mitwirkende:r]; Jensen, Thomas [Mitwirkende:r]; Besson, Frédéric [Mitwirkende:r]

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

    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.

    theses.fr, 2023-12-18

  9. Nalpon, Nicolas [Verfasser:in] ; Toulouse, INSA [Mitwirkende:r]; Garoche, Pierre-Loïc [Mitwirkende:r]; Picard, Celia [Mitwirkende:r]

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

    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.

    theses.fr, 2023-03-13

  10. Polubelova, Marina [Verfasser:in] ; Université Paris sciences et lettres [Mitwirkende:r]; Bhargavan, Karthikeyan [Mitwirkende:r]

    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*

    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.

    theses.fr, 2022-01-17

  11. Marty, Jean-Joseph [Verfasser:in] ; Rennes 1 [Mitwirkende:r]; Talpin, Jean-Pierre [Mitwirkende:r]; Jensen, Thomas [Mitwirkende:r]

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

    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.

    theses.fr, 2022-11-17

  12. He, Lulu [Verfasser:in] ; université Paris-Saclay [Mitwirkende:r]; Dague, Philippe [Mitwirkende:r]; Ye, Lina [Mitwirkende:r]

    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

    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.

    theses.fr, 2022-05-18

  15. Robles, Virgile [Verfasser:in] ; université Paris-Saclay [Mitwirkende:r]; Le Gall, Pascale [Mitwirkende:r]; Prevosto, Virgile [Mitwirkende:r]; Kosmatov, Nikolaï [Mitwirkende:r]

    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

    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.

    theses.fr, 2022-01-21

  16. De Boutray, Henri [Verfasser:in] ; Bourgogne Franche-Comté [Mitwirkende:r]; Giorgetti, Alain [Mitwirkende:r]; Holweck, Frédéric [Mitwirkende:r]; Masson, Pierre-Alain [Mitwirkende:r]

    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

    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.

    theses.fr, 2021-12-16

  17. Lubat, Éric [Verfasser:in] ; Toulouse, INSA [Mitwirkende:r]; Hladik, Pierre-Emmanuel [Mitwirkende:r]

    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

    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.

    theses.fr, 2021-11-30

  18. Hutin, Rémi [Verfasser:in] ; Rennes, École normale supérieure [Mitwirkende:r]; Blazy, Sandrine [Mitwirkende:r]; Pichardie, David [Mitwirkende:r]

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

    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.

    theses.fr, 2021-12-01

  20. Beger, Pascal [Verfasser:in] ; Toulouse, INSA [Mitwirkende:r]; Leriche, Sébastien [Mitwirkende:r]; Prun, Daniel [Mitwirkende:r]

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

    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.

    theses.fr, 2020-10-30