Logo des Repositoriums

Auflistung nach Autor:in "Wittiger, Martin"

1 - 6 von 6
  • Konferenzbeitrag
    Auswahlkriterien für elliptische Kurven in der Industrie
    (Softwaretechnik-Trends Band 40, Heft 2, 2020) Wittiger, Martin
    Klassische Public-Key-Kryptografie benötigt immer längere Schlüssel, um sicher zu sein. Diese verursachen einen deutlich höheren Ressourcenbedarf, sodass verbreitet Softwareprojekte angestoßen werden, die klassische Verfahren durch Elliptische-Kurven-Kryptografie ersetzen, welche mit kürzeren Schlüsseln auskommt. Reengineering- und Maintenance-Projekte müssen aus zahlreichen standardisierten Kurven eine geeignete auswählen. Bernstein und Lange schlagen Kriterien vor, um diese Auswahl zu treffen. Dieser Beitrag bewertet die Relevanz dieser Kriterien aus industrieller Sicht und empfiehlt konkrete Kurven.
  • Abstract
    Business Before Pleasure: Prerequisites of Post-Quantum Cryptography
    (crypto day matters 34, 2024) Wittiger, Martin
  • Zeitschriftenartikel
    Ergebnisbewertung konservativer statischer Data-Race-Analysen
    (Softwaretechnik-Trends: Vol. 33, No. 2, 2013) Degiorgi, Sandro; Wittiger, Martin
    Sandro Degiorgi Martin Wittiger
  • Konferenzbeitrag
    Extraktion von Interthread-Kommunikation in eingebetteten Systemen
    (Automotive - Safety & Security 2012, 2012) Wittiger, Martin; Keul, Steffen
    Mit der zunehmenden Verbreitung von Multicore-Rechnern werden Multicore-Architekturen auch in eingebetteten Systemen mehr und mehr Einzug halten. Zusätzlich zu den Schwierigkeiten der Softwareentwicklung für Singlecore-Plattformen müssen Software-Ingenieure somit die Herausforderungen bewältigen, bestehende Systeme zuverlässig und fehlerfrei auf Multicores zu portieren und dabei dennoch das Parallelisierungspotential möglichst effektiv zu nutzen. Bislang existiert kaum Werkzeugunterstützung, um diese Portierung in der Praxis durchzuführen. Unsere Ar- beit verfolgt das Ziel, Algorithmen und Werkzeuge zu entwickeln, die existierende Steuersoftware im Automotive-Bereich semi-automatisiert auf Multicore-Plattformen portieren können. In diesem Beitrag wird eine statische Analysetechnik vorgestellt, mit der aus dem Quelltext eines eingebetteten Systems Kommunikationsgraphen extrahiert werden können. Diese können verwendet werden, um Modifikationsbedarf in bestehender Software zu identifizieren, und eignen sich als Grundlage für die spä- tere Partitionierung. Die vorgestellten Algorithmen wurden prototypisch in unserer Programmanalyse-Toolsuite Bauhaus implementiert und ihre prinzipielle Tauglichkeit wurde durch Anwendung auf bestehende industrielle Softwaresysteme bestätigt.
  • Zeitschriftenartikel
    Migrating Bauhaus from IML to SKilL
    (Softwaretechnik-Trends Band 36, Heft 3, 2016) Felden, Timm; Wittiger, Martin
    In this paper we will motivate and discuss the ongoing process of migrating the Bauhaus toolchain from its home-brew intermediate representation (IR) to a generalized IR based on SKilL.
  • Zeitschriftenartikel
    Recognition of Real-World State-Based Synchronization
    (Softwaretechnik-Trends Band 35, Heft 2, 2015) Wittiger, Martin; Felden, Timm
    In the real world, safety-critical embedded systems use state-based synchronization to avoid data races. Using constraint solving to tackle state, we have improved upon existing static data race analysis.