Information and Communication Technology 2022ICT22-007

ForSmart: Effective Formal Methods for Smart-Contract Certification


Principal Investigator:
Institution:
TU Wien
Projekttitel:
ForSmart: Effective Formal Methods for Smart-Contract Certification
Projektpartner:innen:
Laura Kovács (TU Wien) (Co-Principal Investigator)
Matteo Maffei (TU Wien) (Co-Principal Investigator)
Status:
Vertrag in Vorbereitung
Fördersumme:
€ 799.850

 
Kurzzusammenfassung:

Die Korrektheit und Sicherheit von Smart Contracts ist von entscheidender Bedeutung, da digitale Vermögenswerte auf dem Spiel stehen können. Um Schwachstellen in Smart Contracts zu erkennen oder sogar zu vermeiden, werden digitale Methoden zur Fehlersuche und Verifikation eingesetzt, denen es bisher aber an Zuverlässigkeit bzw. Präzision fehlt.

In ForSmart wollen wir eine hybride, digitale Methodologie für die Analyse von Smart Contracts entwickeln, welche die Fehlersuche durch Testen, formaler Verifizierung und mathematischem Beweis kombiniert. Dadurch werden eine hohe Zuverlässigkeit und eine hohe Präzision erreicht.

Die Wirkung von ForSmart wird maximiert, indem wir unsere Methodologie auf konkrete Anwendungsbeispiele von akademischer, industrieller und öffentlicher Relevanz anwenden, und die Ergebnisse Entwicklern von Smart Contracts, Auditoren sowie Benutzern zur Verfügung stellen werden. Wir planen außerdem, bestehende Kooperationen mit Certora, der Ethereum Foundation, ConsenSys und Microsoft Research im Rahmen des Projekts vorteilhaft zu nutzen.

Wir beantragen die Finanzierung von 3 Doktoranden, die im Rahmen ihrer Doktorarbeit Praktika bei den oben genannten Unternehmen durchführen sollen, um die Einführung der ForSmart Methoden in der Industrie anzuregen.

Das Kernteam von ForSmart (PIs) ist zu 2/3 weiblich. Eine derartige Verteilung wollen wir bei Expansion wahren.

 

Wir nutzen Cookies auf unserer Website. Einige von ihnen sind technisch notwendig, während andere uns helfen, diese Website zu verbessern oder zusätzliche Funktionalitäten zur Verfügung zu stellen. Weitere Informationen