Logo des Repositoriums

Auflistung nach Autor:in "Schupp, Sibylle"

1 - 9 von 9
  • Zeitschriftenartikel
    Analyzing Malware Putty using Function Alignment in the Binary
    (Softwaretechnik-Trends Band 36, Heft 3, 2016) Wichmann, Arne; Schulze, Sandro; Schupp, Sibylle
    This paper shows a representation of executables and an alignment of functions in an executable to be used when reverse engineering embedded systems. These techniques are not limited to this application and can also be used when studying code variations, code clone-and-own scenarios, and when locating hotspots for software quality inspections.
  • Konferenzbeitrag
    Annotation-guided soft-error injection
    (INFORMATIK 2013 – Informatik angepasst an Mensch, Organisation und Umwelt, 2013) Terasa, Clemens; Schupp, Sibylle
    This paper introduces FITIn, a new fault-injection tool that supports instrumentation-based injections that are guided by annotations of the source code; FITIn allows for highly selective fault-injection tests. FITIn is implemented on top of the Valgrind framework. We present the major design decisions of FITIn and evaluate it using the Dhrystone benchmark.
  • Konferenzbeitrag
    Ein Ansatz zur nachvollziehbaren Verifikation medizinisch-cyber-physikalischer Systeme
    (Software Engineering und Software Management 2018, 2018) Padberg, Julia; Schlaefer, Alexander; Schupp, Sibylle
    Medizinische cyberphysikalische Systeme erfordern einerseits die Adaption an patientenindividuelle Parameter während einer Behandlung und andererseits den Nachweis eines sicheren Systemverhaltens. Wir schlagen vor, Nachweisbarkeit mittels Online Model-Checking und Nachvollziehbarkeit durch Anwendung von regelbasierten Transformationen zu verbinden.
  • Zeitschriftenartikel
    The Challenge of Indirection: Treating Flags During Sound Analysis of Machine Code
    (Softwaretechnik-Trends Band 36, Heft 3, 2016) Mattsen, Sven; Schupp, Sibylle
  • Konferenzbeitrag
    Do We Need Real Data? - Testing and Training Algorithms with Artificial Geolocation Data
    (INFORMATIK 2019: 50 Jahre Gesellschaft für Informatik – Informatik für Gesellschaft, 2019) Kaiser, Jan; Bavendiek, Kai; Schupp, Sibylle
    As big data becomes increasingly important, so do algorithms that operate on geolocation data. Privacy requirements and the cost of collecting large sets of geolocation data, however, make it difficult to test those algorithms with real data. Artificially generated data sets therefore present an appealing alternative. This paper explores the use of two types of neural networks as generators of geolocation data and introduces a method based on the Turing Test to determine whether generated geolocation data is indistinguishable from real data. In an extensive evaluation we apply the method to data generated by our own implementation of neural networks as well as the widely used BerlinMOD generator on the one hand, the four most prominent data sets of real geolocation data covering at total of 65 million records on the other hand. The experiments show that in eleven of twelve cases artificial data sets can be told from real ones. We conclude that, at present, the generators we tested provide no safe replacement for real data.
  • Konferenzbeitrag
    Fail safety in medical cyber-physical systems (FS-MCPS)
    (Software-engineering and management 2015, 2015) Schlaefer, Alexander; Schupp, Sibylle
  • Konferenzbeitrag
    FS-MCPS 2017 - 3rd Workshop on Fail Safety in Medical Cyber-Physical Systems
    (Software Engineering 2017, 2017) Schlaefer, Alexander; Schupp, Sibylle; Stollenwerk, Andre ́
  • Konferenzbeitrag
    FS-MCPS: 2nd workshop on fail safety in medical cyber-physical systems
    (Software Engineering 2016, 2016) Schlaefer, Alexander; Schupp, Sibylle; Stollenwerk, André
  • Zeitschriftenartikel
    Visual Analysis of Control Coupling for Executables
    (Softwaretechnik-Trends Band 35, Heft 2, 2015) Wichmann, Arne; Schupp, Sibylle
    Program comprehension of stripped executables is hard because neither modules and function names, nor any other structural information are available. We introduce an algorithm that, using morphological operations, highlights fan-in, fan-out, and module coupling in the adjacency matrix of the control flow graph and thus allows initial orientation at function level. This paper introduces the structures of interest and our algorithm, and analyzes the yaboot bootloader.