Hallo zusammen,

In diesem Beitrag wollen wir mal eine kurze Pause von den technischen Inhalten machen und stattdessen über unsere Reise zur ETAPS-Konferenz nach Thessaloniki in Griechenland in diesem April berichten!

Wie es in der Wissenschaft üblich ist, haben wir nämlich unsere Erkenntnisse zur formalen Semantik und den Sicherheitseigenschaften von Smart Contracts in einem wissenschaftlichen Papier zusammengefasst, was für die diesjährige Teilkonferenz POST der ETAPS-Konferenz akzeptiert wurde. Das Papier könnt ihr als Teil des EtherTrust Projektes natürlich auch hier auf unserer Seite herunterladen. Und natürlich haben wir diesen Anlass genutzt um mit dem gesamten EtherTrust Team nach Thessaloniki zu fahren und dort unsere Arbeit anderen Wissenschaftlern zu präsentieren

Wir haben ein paar Eindrücke aus Thessaloniki für euch zusammen gestellt.

Am zweiten Tag der Konferenz hat dann unser Teammitglied Clara unser Papier präsentiert:

Die Vorträge zu den Papieren sind sehr wichtig, da man durch sie gut mit anderen Wissenschaftlern ins Gespräch kommt um Ideen auszutauschen und Kollaborationen aufzubauen.

Am dritten Konferenztag war dann das traditionelle Konferenz-Dinner, bei dem auch die Best-Paper-Awards, die Preise für die besten Papiere der gesamten ETAPS Konferenz, vergeben werden.

Und tatsächlich: Mit unserem Papier ,A Framework for the Security Analysis of Ethereum Smart Contracts” haben wir einen von 3 Best Paper Awards gewonnen!

Das ist natürlich super für unser Projekt, da wir dadurch noch einmal eine besonders große Sichtbarkeit in der wissenschaftlichen Gemeinschaft erlangt haben! Das haben wir auch gleich bei der Konferenz bemerkt, bei der wir viele interessante Kontakte knüpfen konnten.

Im nächsten Beitrag geht es dann wieder um die Sicherheitseigenschaften, wie wir sie in unserem Papier vorstellen.

Bis dahin!

Euer EtherTrust Team