Decentralized Trust in Digital Societies
Dauer: 30 Monate, Fördersumme: € 532.375
COnFIDE - Cryptographic Foundations of Privacy in Distributed Ledgers
Dauer: 96 Monate, Fördersumme: € 1.599.280
Resilience versus Performance in Numerical Linear Algebra (REPEAL)
Dauer: 54 Monate, Fördersumme: € 602.000
APALACHE: Abstraction-based Parameterized TLA Checker
Dauer: 48 Monate, Fördersumme: € 539.000
Heisenbugs: From Detection to Explanation
Dauer: 112 Monate, Fördersumme: € 1.500.000