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
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