Das EtherTrust-Team bei ETAPS in Thessaloniki
Wir präsentieren unsere Projektergebnisse (06.12.2018)
Förderjahr 2017 / Project Call #12 / ProjektID: 2158 / Projekt: EtherTrust

Als Wissenschaftler ist es für uns wichtig unsere Ergebnisse auf Fachkonferenzen vorzustellen und mit der Community darüber zu diskutieren. Das haben wir dieses Jahr mit den ersten Ergebnissen von EtherTrust bei der ETAPS Konferenz getan!

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.

The EtherTrust-Team (Matteo, Niklas, Clara, Ilya) at the sea inThessaloniki
Das glückliche EtherTrust-Team kurz nach der Ankunft an der Promenade vor dem Hotel, in dem die Konferenz stattfand

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

Teammitglied Clara beim Präsentieren des Papiers
Clara auf der Konferenz POST beim Präsentieren unseres Papiers

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!

Urkunde für den Best Paper Award
Matteo, Ilya und Clara kurz nach dem Überreichen des Best Paper Awards mit ihren Urkunden

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

CAPTCHA
Diese Frage dient der Überprüfung, ob Sie ein menschlicher Besucher sind und um automatisierten SPAM zu verhindern.

    Weitere Blogbeiträge

    Datenschutzinformation
    Der datenschutzrechtliche Verantwortliche (Internet Privatstiftung Austria - Internet Foundation Austria, Österreich) würde gerne mit folgenden Diensten Ihre personenbezogenen Daten verarbeiten. Zur Personalisierung können Technologien wie Cookies, LocalStorage usw. verwendet werden. Dies ist für die Nutzung der Website nicht notwendig, ermöglicht aber eine noch engere Interaktion mit Ihnen. Falls gewünscht, treffen Sie bitte eine Auswahl: