ForSmart: Effective Formal Methods for Smart-Contract Certification
Dauer: 48 Monate, Fördersumme: € 799.850
SCALE2: SeCure, privAte, and interoperabLe layEr 2
Dauer: 48 Monate, Fördersumme: € 879.850
Fixing the Broken Bridge Between Mobile Apps and the Web
Dauer: 48 Monate, Fördersumme: € 798.760
IoTIO: Analyzing and Understanding the Internet of Insecure Things
Dauer: 48 Monate, Fördersumme: € 783.940
ProbInG: Distribution Recovery for Invariant Generation of Probabilistic Programs
Dauer: 49 Monate, Fördersumme: € 782.100
COnFIDE - Cryptographic Foundations of Privacy in Distributed Ledgers
Dauer: 96 Monate, Fördersumme: € 1.599.280