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

ABC Blockchain Talk #18

“Smart City – Smart Living: Wie Technologie helfen kann, die

August 31, 2023

ABC Blockchain Talk #17

Meilensteine digitaler Innovation: AI, Blockchain, Quantum Tech.
In dem Maße,

June 7, 2023

Austrian Blockchain Award 2023 – die Gewinner

WKÖ-Kühnel zum Austrian Blockchain Award: Vertrauen in die digitale Welt

May 12, 2023

Workshop: Gesetzesentwurf der EU zur unternehmerischen Sorgfaltspflicht

Was kommt auf Unternehmen zu? Welchen Support kann die Blockchain

February 2, 2023

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.