Zum Inhalt springen

  1. Aichernig, Bernhard K. [HerausgeberIn]; Boer, Frank S. de [Sonstige Person, Familie und Körperschaft]; Bonsangue, Marcello M. [Sonstige Person, Familie und Körperschaft] ; FMCO 9 2010 Graz

    Formal methods for components and objects : 9th international symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010 ; revised papers

    Bücher
    Schließen

    Merkliste

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

    Berlin; Heidelberg [u.a.]: Springer, 2011

    Erschienen in: Lecture notes in computer science ; 6957

  5. Gunneflo, Ulf [VerfasserIn]

    Physical fault injection for validation of dependable computing systems and a fault tolerant computer design for safety critical missions

    Bücher
    Schließen

    Merkliste

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

    Göteborg: School of Electrical and Computer Engineering, 1990

    Erschienen in: Chalmers tekniska högskola: Doktorsavhandlingar vid Chalmers Tekniska Högskola ; 1756 - Chalmers tekniska högskola: Technical report / School of Electrical and Computer Engineering, Chalmers University of Technology ; 201

  6. Karlsson, Johan [VerfasserIn]

    Reliability evaluation of a fault tolerant computer for a multi-phased mission and use of heavy ion radiation for fault injection experiments

    Bücher
    Schließen

    Merkliste

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

    Göteborg: School of Electrical and Computer Engineering, Chalmers Univ. of Technology, 1990

    Erschienen in: Chalmers tekniska högskola: Doktorsavhandlingar vid Chalmers Tekniska Högskola ; 1758 - Chalmers tekniska högskola: Technical report / School of Electrical and Computer Engineering, Chalmers University of Technology ; 202

  8. Brüning, Stefan [VerfasserIn]; Weißleder, Stephan [VerfasserIn]; Malek, Miroslaw [VerfasserIn]

    A Fault Taxonomy for Service-Oriented Architecture

    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.

    Humboldt-Universität zu Berlin, Mathematisch-Naturwissenschaftliche Fakultät II, Institut für Informatik, 2007-01-01

  9. Chamelot, Thomas [VerfasserIn] ; Sorbonne université [MitwirkendeR]; Heydemann, Karine [MitwirkendeR]; Couroussé, Damien [MitwirkendeR]

    Sécurisation de l’exécution des applications contre les attaques par injection de fautes par une contre-mesure intégrée au processeur ; Securisation of the exececution of applications against fault injection attacks by a counter-measure integrated into the processor

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

  10. Bessayah, Fayçal [VerfasserIn] ; Evry, Institut national des télécommunications [MitwirkendeR]; Cavalli, Ana [MitwirkendeR]

    A complementary approach for testing system robustness based on passive testing and fault injection techniques ; Une approche complémentaire de test de robustesse basée sur l'injection de fautes et le test passif

    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, 2010-12-03

  13. Werner, Vincent [VerfasserIn] ; Université Grenoble Alpes [MitwirkendeR]; Potet, Marie-Laure [MitwirkendeR]

    Optimiser l'identification et l'exploitation de vulnérabilités à l'injection de faute sur microcontrôleurs ; Optimizing identification and exploitation of fault injection vulnerabilities on microcontrollers

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

  14. Schirmeier, Horst Benjamin [VerfasserIn] ; Spinczyk, Olaf [AkademischeR BetreuerIn]; Polze, Andreas [Sonstige Person, Familie und Körperschaft]

    Efficient fault-injection-based assessment of software-implemented hardware fault tolerance

    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.

    Dortmund: Universitätsbibliothek Dortmund, 2016

  16. Onwuchekwa, Daniel [VerfasserIn] ; Obermaisser, Roman [MitwirkendeR]

    Fault injection framework for time-triggered systems ; Framework zur Fehlereinstreuung in zeitgesteuerten Systemen

    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.

    Universität Siegen; Department Elektrotechnik - Informatik, 2020-01-01

  18. Chabot, Alexandre [VerfasserIn] ; Valenciennes, Université Polytechnique Hauts-de-France [MitwirkendeR]; Alouani, Ihsen [MitwirkendeR]; Niar, Smaïl [MitwirkendeR]; Nouacer, Réda [MitwirkendeR]

    Exploration des architectures des systèmes embarqués dirigée par la fiabilité ; Reliability-Guided Design Space Exploration for Safety-Critical Applications

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

  19. Jafri, Nisrine [VerfasserIn] ; Rennes 1 [MitwirkendeR]; Lanet, Jean-Louis [MitwirkendeR]; Legay, Axel [MitwirkendeR]

    Formal fault injection vulnerability detection in binaries : a software process and hardware validation ; Détection formelle de vulnérabilité créée par injection de faute au niveau binaire : un processus logiciel et une validation matérielle

    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, 2019-03-25

  20. Rauzy, Pablo [VerfasserIn] ; Paris, ENST [MitwirkendeR]; Guilley, Sylvain [MitwirkendeR]; Danger, Jean-Luc [MitwirkendeR]

    Méthodes logicielles formelles pour la sécurité des implémentations de systèmes cryptographiques ; Formal sofwtare methods for cryptosystems implementation security

    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, 2015-07-13