Smart Contract Verification

June 22, 2021

Share This Post

Smart contracts on a blockchain are highly susceptible to attacks. There are often strong incentives for manipulation (e.g., transfer of valuable assets), their code is visible for any potential attacker and security vulnerabilities can hardly be fixed after deployment due to the immutability property of the blockchain. Security analysis of smart contracts is therefore of utmost importance. Formal verification methods can prove their correctness, but such analyses are technically challenging and require specialized expertise. Tools that can automate this process and make it accessible for ordinary smart contract developers would vastly improve security in distributed blockchain applications.
Together with our scientific partner TU Wien (Prof. Maffei) we are looking for interested company partners to join the project. Please contact us at office@abc-research.at if you are interested.
You can find more details in the research concept below.

Research Concept: Formal Verification Tool

More ABC news

Workshop: Gesetzesentwurf der EU zur unternehmerischen Sorgfaltspflicht

Was kommt auf Unternehmen zu? Welchen Support kann die Blockchain

February 2, 2023

Austrian Blockchain Award 2023

Das Austrian Blockchain Center (ABC) und die Wirtschaftskammer Österreich (WKÖ)

January 13, 2023

Blockchain Summit 2023 – FH St. Pölten

Sie wollen wissen, was DLTs und Dezentralisierung von IT-Systemen für

December 28, 2022

ABC Blockchain Talk #15

Current Status and trends in Blockchain Interoperability.

October 13, 2022

No more posts to show

Contact us:

Legal:

Company:

How to reach us:

by car:

Our office is in a pedestrian zone; there is an underground car park at Reumannplatz

by public transportation:

Take the U1 to the station Reumannplatz, use the exit Quellenstraße, leave the exit on the right side, then you are almost at our entrance

What we do

We are a partly government funded research center that runs a consortium of companies and universities. Together with our partners, we conduct application oriented as well as basic research in many areas related to Blockchain technology.