ForSmart: Effective Formal Methods for Smart-Contract Certification
Dauer: 48 Monate, Fördersumme: € 799.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: 60 Monate, Fördersumme: € 783.940
APALACHE: Abstraction-based Parameterized TLA Checker
Dauer: 48 Monate, Fördersumme: € 539.000