ERC Advanced Grant · 2023
Formal Methods for Secure Blockchain-Oriented Programming
Despite their tender age, blockchain technologies are bringing a profound impact on the society and economy. The swift technological advancements in this domain, however, are not always accompanied by solid scientific foundations, which often follow and try to catch up a posteriori with the proposed engineering solutions. The most prominent examples are smart contracts: the total value locked in Decentralized Finance (DeFi) nears 50B USD and, yet, vulnerabilities leading to dramatic financial loss regularly plague virtually all smart contract platforms. The fundamental issue is that security properties for DeFi applications are yet not well understood and existing verification techniques…
From the public funding record at EU CORDIS. Describes the funded project, not the reviews below.