Now showing 1 - 3 of 3
  • Publication
    Comparison of Ethereum Smart Contract Analysis and Verification Methods
    ( 2024)
    Happersberger, Vincent
    ;
    ; ;
    Pignolet, Yvonne Anne
    ;
    Schmid, Stefan
    Ethereum allows to publish and use applications known as smart contracts on its public network. Smart contracts can be costly for users if erroneous. Various security vulnerabilities have occurred in the past and have been exploited causing the loss of billions of dollars. Therefore, it is in the developer’s interest to publish smart contracts that serve their intended purpose only. In this work, we study different approaches to verify if Ethereum smart contracts behave as intended and how to detect possible vulnerabilities. To this end, we compare and evaluate, different formal verification tools and tools to automatically detect vulnerabilities. Our empirical comparison of 140 smart contracts with known vulnerabilities shows that different tools vary in their success to identify issues with smart contracts. In general, we find that automated analysis tools often miss vulnerabilities, while formal verifiers based on model checking with Hoare-style source code annotations require high effort and knowledge to discover possible weaknesses. Specifically, some vulnerabilities (e.g., related to bad randomness) are not detected by any of the tools. Formal verifiers perform better than automated analysis tools as they detect more vulnerabilities and are more reliable. One of the automated analysis tools was able to find only three out of 16 Access Control vulnerabilities. On the contrary, formal verifiers have a hundred percent detection rate for selected tests. As a case study with a smart contract without previously known vulnerabilities and for a more in-depth evaluation, we examine a smart contract using a two-phase commit protocol mechanism which is key in many smart contract applications. We use the presented tools to analyze and verify the contract. Thereby we come across different important patterns to detect vulnerabilities e.g. with respect to re-entrancy, and how to annotate a contract to prove that intended the restriction and requirements hold at any time.
  • Publication
    Nachhaltiger im Automobil mit TWB
    ( 2022-07-30) ;
    Weber, Joshua
    ;
    Kompenhans, Moritz Niklas
    ;
    Höfemann, Matthias
    ;
    Joos, Paul
    CO2-Footprint von Fahrzeugen wird maßgeblich durch ihr Gewicht bestimmt. Spezielle Blechplatinen - bislang noch nicht in Serie eingesetzte Tailor Welded Blanks aus höchstfesten Stählen mit Festigkeiten von 1000 MPa - können diesen verringern. Die Verarbeitung geschweißter höchstfester Platinen kann jedoch noch zu Diskontinuität im Bauteil führen. Den Prozess rein experimentell auszulegen ist teuer und verschwendet Material und Ressourcen. Dem begegnet das BMWK-Projekt TWBlock mit numerischen Simulationen und deren Absicherung durch die Blockchain-Technologie über die gesamte Prozess- und Wertschöpfungskette.
  • Publication
    16. Berliner Runde. Neue Konzepte für Werkzeugmaschinen. Begleitband
    (Fraunhofer IPK, 2022)
    Produktionstechnik als Vorreiter für Lösungen einer sich wandelnden Industriegesellschaft: Klimaschutz und Ressourcenknappheit, Digitalisierung und Daten sicherheit, Urbanisierung und Mobilität sind globale Themen, die zu einem Wandel unserer Industriegesellschaft führen. In ihrer 16. Auflage rückt die Berliner Runde, das führende Forum für Werkzeugmaschinenhersteller, Zulieferer und Anwender, Lösun gen aus der Produktionstechnik in den Fokus, mit denen Unter nehmen Herausforderungen und Potenziale dieses disruptiven Wandels gleichermaßen bewältigen und ausschöpfen können. Die Themen umfassen unter anderem nachhaltige Fertigungs- und Maschinentechnologien, ganzheitliche Optimierungskon zepte mithilfe Künstlicher Intelligenz, kontextsensitive Assistenz systeme sowie Lösungen aus den Bereichen Blockchain und Health Science. Die vorgestellten Lösungsansätze bieten einen neuen Blickwinkel auf die Produktion von morgen und ermögli chen es Unternehmen, in dem vorherrschenden Spannungsfeld auch zukünftig wirtschaftlich effizient zu agieren. Hochrangige Referentinnen und Referenten aus dem Werkzeug maschinenbau, der gesamten Lieferkette sowie der Anwendung stellen aktuelle und zukünftige Entwicklungen der Werkzeug maschinenbranche sowie der Produktionstechnik vor. Diskutieren Sie mit uns, welche System- und Komponentenlösungen neue Impulse für einen zukunftsorientierten Wandel unserer Industrie gesellschaft setzen können und welche innovativen Lösungen für die Produktionstechnik daraus resultieren.