CORDIS Project
Funding breakdown and partner intelligence are Premium
Sign in and upgrade to Premium for EU contribution totals, consortium analytics, OpenAlex research context, and AI summaries. · 0 consortium intelligence fields visible of 1
Start free • Cancel anytime • 14-day refund guarantee
PROCONTRA aims to advance the field of smart contracts by developing secure protocols and formal models. The project focuses on analyzing the security of these contracts before real-world deployment, ensuring they are robust and reliable, while also engaging with industry practitioners to address practical challenges.
Smart contracts are formal agreements that take the form of computer programs.
They are typically written down, and automatically executed, on blockchains.
Smart-contract protocols are algorithms that describe how these contracts operate in multiparty settings.
Due to the large number of potential applications, interest in this field has exploded in the last few years.
Also, the PI has generated important results through his work in this area.
The ambitious goal of PROCONTRA is to transfigure t…
UNIWERSYTET WARSZAWSKI
Partner organizations (coordinator is shown above), with normalized type and CORDIS activity type. Guests see up to 4 partners.
France, Palaiseau Cedex
Type: University / higher education
Activity type: Higher or Secondary Education Establishments
SME: No
Similar projects, consortium collaboration history, frequent partners, and OpenAlex research context.
Guests see up to 5 EuroSciVoc fields.
Guests see up to 5 topics.
Guests see up to 5 keywords.
