Smart Contract Verification

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