1. Sie sind hier:
  2. Implementations of Algorithms from the Thesis "Timing Sensitive Dependency Analysis and its Application to Software Security"
...

    Datenpaket: Implementations of Algorithms from the Thesis "Timing Sensitive Dependency Analysis and its Application to Software Security"

    Alternativer Identifier:
    (KITopen-DOI) 10.5445/IR/1000122605
    Verwandter Identifier:
    -
    Ersteller/in:
    Hecker, Martin [Hecker, Martin]
    Beitragende:
    (Other)
    Hecker, Martin [Hecker, Martin]
    Titel:
    Implementations of Algorithms from the Thesis "Timing Sensitive Dependency Analysis and its Application to Software Security"
    Weitere Titel:
    -
    Beschreibung:
    (Abstract) In der Dissertation "Timing Sensitive Dependency Analysis and its Application to Software Security" präsentiere ich neue Verfahren zur statischen Analyse von Ausführungszeit-sensitiver Informationsflusskontrolle in Softwaresystemen. Ich wende diese Verfahren an zur Analyse nebenläufiger Java-Progra...
    Zeige alles
    (Abstract) In my thesis "Timing Sensitive Dependency Analysis and its Application to Software Security", I present new methods for the static analysis of timing sensitive information flow control in software systems. I apply these methods in the analysis of concurrent Java programs, as well as the analysis of ...
    Zeige alles
    (Technical Remarks) This is the artifact corresponding to the thesis "Timing Sensitive Dependency Analysis and its Application to Software Security" by Martin Hecker The Virtual Box virtual machine image ```dissertation-vm``` can be used by logging in via user: ```hecker``` password: ```hecker``` In the use...
    Zeige alles
    Schlagworte:
    information flow control
    timing side channel
    static analysis
    algorithms
    non-interference
    low-security observational determinism
    Zugehörige Informationen:
    -
    Sprache:
    -
    Herausgeber/in:
    Karlsruhe Institute of Technology
    Erstellungsjahr:
    Fachgebiet:
    Computer Science
    Objekttyp:
    Dataset
    Datenquelle:
    -
    Verwendete Software:
    -
    Datenverarbeitung:
    -
    Erscheinungsjahr:
    Rechteinhaber/in:
    Hecker, Martin
    Förderung:
    -
    Name Speichervolumen Metadaten Upload Aktion
    Status:
    Publiziert
    Eingestellt von:
    kitopen
    Erstellt am:
    Archivierungsdatum:
    2023-06-22
    Archivgröße:
    1,8 GB
    Archiversteller:
    kitopen
    Archiv-Prüfsumme:
    580615226d3d1dabddd9cdf70801b167 (MD5)
    Embargo-Zeitraum:
    -