EtherTrust
EtherTrust - Trustworthy smart contracts

EtherTrust

Förderjahr 2017 / Project Call #12 / ProjectID: 2158

EtherTrust ist ein Analysetool für Ethereum smart contracts. Smart contracts sind Programme, die in der Kryptowährung Ethereum Finanzflüsse steuern. Fehlerhafte oder bösartige contracts können den Nutzer viel Geld kosten – im Vorfeld ist das jedoch kaum zu erkennen. Hier hilft EtherTrust: Auf einer intuitiven Website können Nutzer contracts, die sie verwenden wollen, analysieren. So können sie mit Sicherheit ausschließen, dass ein contract bestimmte gefährliche Eigenschaften hat – dafür gibt es eine bewiesene Garantie.

EtherTrust is an analysis tool for Ethereum smart contracts. Smart contracts are programs that control money flows in the crypto currency Ethereum. Faulty or malicious smart contracts can make users loose a lot of money - spotting such contracts in advance however is a delicate task. Here EtherTrust comes into play: On an intuitive website, users can analyse those contracts that they want to use. In this way they can make sure that a contract does not show malicious behaviour - EtherTrust provides a reliable guarantee for that.

Summary

summary.pdf
(18.02 KB )

Themengebiet

Blockchain

Zielgruppe

Erwachsene

Gesamtklassifikation

Client Server Applikation

Technologie

blockchain
,
Java
,
Javascript

Uni | FH [Universität]

Technische Universität Wien

Projektergebnisse

Client-SW GPL 3.0

EtherTrust (Binaries)

Erster Prototyp für das Analysetool EtherTrust (Binaries). (First prototype of the analysis tool EtherTrust)

Code GPL 3.0

EtherTrust (Sources)

Erster Prototyp für das Analysetool EtherTrust (Sources). (First prototype of the analysis tool EtherTrust)

Paper CC-BY

EtherTrust: Sound Static Analysis of Ethereum bytecode

Technischer Report zur statischen Analyse von Ethereum smart contracts. (Technical report for the static analysis of Ethereum smart contracts)

Paper CC-BY

A Semantic Framework for the Security Analysis of Ethereum smart contracts

Technischer Report für die formale Semantik und Sicherheitseigenschaften von Ethereum smart contracts. (Technical report for the formal semantics and security properties of Ethereum smart contracts.)

semantics.pdf
432.45 KB
Paper CC-BY

Foundations and Tools for the Static Analysis of Ethereum smart contracts

Tutoriums- und Übersichtspapier zur statischen Analyse von Ethereum smart contracts. (Tutorial and survey paper on the static analysis for Ethereum smart contracts.)

cav2018.pdf
853.31 KB
Präsentation

Tutorial: Foundations and Tools for the Static Analysis of Ethereum smart contracts

Tutorium zur statischen Analyse von Ethereum smart contracts (gehalten auf CAV 2018). Tutorial on the static analysis for Ethereum smart contracts (given at CAV 2018)

Blogbeiträge