Optimal Cross-Chain and Cross-Layer Protocols (CROSS)
Fördersumme: € 799.910
Cross-Domain Privacy-Preserving Protocols and Symmetric Cryptography
Fördersumme: € 797.739
SCALE2: SeCure, privAte, and interoperabLe layEr 2
Dauer: 48 Monate, Fördersumme: € 879.850
COnFIDE - Cryptographic Foundations of Privacy in Distributed Ledgers
Dauer: 96 Monate, Fördersumme: € 1.599.280
APALACHE: Abstraction-based Parameterized TLA Checker
Dauer: 48 Monate, Fördersumme: € 539.000