Formal Methods for Secure Blockchain-Oriented Programming

01.03.2025 - 28.02.2030
Research funding project

People

Project leader

Subproject managers

Institute

Grant funds

  • European Commission (EU) ERC Advanced Grant ERC European Research Council HORIZON I - Excellent Science Frameworkprogramme HORIZON EUROPE European Commission Call identifier ERC-2023-ADG

Research focus

  • Logic and Computation: 100%

Publications