Zum Inhalt springen

  1. Soares, Diogo [VerfasserIn]; Pereira, Maria João Varanda [VerfasserIn]; Henriques, Pedro Rangel [VerfasserIn] ; Diogo Soares and Maria João Varanda Pereira and Pedro Rangel Henriques [MitwirkendeR]

    Integrating a Graph Builder into Python Tutor

    Aufsätze
    Online ansehen
    Schließen

    Merkliste

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

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

  2. Mohr, Martin [VerfasserIn] ; Snelting, Gregor [AkademischeR BetreuerIn]; Hammer, Christian [AkademischeR BetreuerIn]

    Systematic Approaches to Advanced Information Flow Analysis – and Applications to Software Security

    Bücher
    Online ansehen
    Schließen

    Merkliste

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

    Karlsruhe: KIT Scientific Publishing, 2023

  3. Thierry, Aurélien [VerfasserIn] ; Université de Lorraine [MitwirkendeR]; Marion, Jean-Yves [MitwirkendeR]

    Désassemblage et détection de logiciels malveillants auto-modifiants ; Disassembly and detection of self-modifying malwares

    Hochschulschriften
    Online ansehen
    Schließen

    Merkliste

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

    theses.fr, 2015-03-11

  4. Graf, Jürgen [VerfasserIn] ; Snelting, G. [AkademischeR BetreuerIn]

    Information Flow Control with System Dependence Graphs - Improving Modularity, Scalability and Precision for Object Oriented Languages

    Bücher
    Online ansehen
    Schließen

    Merkliste

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

    Karlsruhe: KIT-Bibliothek, 2016

  5. Schneid, Konrad [VerfasserIn]; Di Bernardo, Sascha [VerfasserIn]; Kuchen, Herbert [VerfasserIn]; Thöne, Sebastian [VerfasserIn]

    Data-Flow Analysis of BPMN-based Process-Driven Applications : detecting anomalies across model and code

    Bücher
    Online ansehen
    Schließen

    Merkliste

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

    Münster: ERCIS - European Research Center for Information Systems, [2021]

    Erschienen in: Westfälische Wilhelms-Universität Münster: Working papers ; 38

  6. Schneid, Konrad [VerfasserIn]; Di Bernardo, Sascha [VerfasserIn]; Kuchen, Herbert [VerfasserIn]; Thöne, Sebastian [VerfasserIn]

    Data-Flow Analysis of BPMN-based Process-Driven Applications: Detecting anomalies across model and code

    Bücher
    Online ansehen
    Schließen

    Merkliste

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

    Münster: Westfälische Wilhelms-Universität Münster, European Research Center for Information Systems (ERCIS), 2021

  7. Mohr, Martin [VerfasserIn] ; Snelting, Gregor [MitwirkendeR]; Hammer, Christian [MitwirkendeR]

    Systematic Approaches to Advanced Information Flow Analysis – and Applications to Software Security

    Hochschulschriften
    Online ansehen
    Schließen

    Merkliste

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

    KIT Scientific Publishing, Karlsruhe, 2023-01-01

  8. Cecchetto, Sylvain [VerfasserIn] ; Université de Lorraine [MitwirkendeR]; Marion, Jean-Yves [MitwirkendeR]; Bonfante, Guillaume [MitwirkendeR]

    Analyse du flot de données pour la construction du graphe de flot de contrôle des codes obfusqués ; Data flow analysis to build control flow graph of obfuscated codes

    Hochschulschriften
    Online ansehen
    Schließen

    Merkliste

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

    theses.fr, 2021-02-22

  9. Chen, Weifan [VerfasserIn]; Izhbirdeev, Ivan [VerfasserIn]; Hoornaert, Denis [VerfasserIn]; Roozkhosh, Shahin [VerfasserIn]; Carpanedo, Patrick [VerfasserIn]; Sharma, Sanskriti [VerfasserIn]; Mancuso, Renato [VerfasserIn] ; Weifan Chen and Ivan Izhbirdeev and Denis Hoornaert and Shahin Roozkhosh and Patrick Carpanedo and Sanskriti Sharma and Renato Mancuso [MitwirkendeR]

    Low-Overhead Online Assessment of Timely Progress as a System Commodity

    Aufsätze
    Online ansehen
    Schließen

    Merkliste

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

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

  10. Jeanmougin, Louison [VerfasserIn]; Sotin, Pascal [VerfasserIn]; Rochange, Christine [VerfasserIn]; Carle, Thomas [VerfasserIn] ; Louison Jeanmougin and Pascal Sotin and Christine Rochange and Thomas Carle [MitwirkendeR]

    Warp-Level CFG Construction for GPU Kernel WCET Analysis

    Aufsätze
    Online ansehen
    Schließen

    Merkliste

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

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