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 firstname.lastname@example.org if you are interested.
You can find more details in the research concept below.
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.