Optimal Cross-Chain and Cross-Layer Protocols (CROSS)
Duration: 48 months, Funding volume: € 799,910
Decentralized Trust in Digital Societies
Duration: 30 months, Funding volume: € 532,375
COnFIDE - Cryptographic Foundations of Privacy in Distributed Ledgers
Duration: 96 months, Funding volume: € 1,599,280
Resilience versus Performance in Numerical Linear Algebra (REPEAL)
Duration: 54 months, Funding volume: € 602,000
APALACHE: Abstraction-based Parameterized TLA Checker
Duration: 48 months, Funding volume: € 539,000
Heisenbugs: From Detection to Explanation
Duration: 112 months, Funding volume: € 1,500,000