Opendata, web and dolomites
H2020 projects about "verifiable"
The page lists 18 projects related to the topic "verifiable".
| # | |||
|---|---|---|---|
| 1 | GRACeFUL | Global systems Rapid Assessment tools through Constraint FUnctional Languages | 2015 |
| 2 | WITDOM | empoWering prIvacy and securiTy in non-trusteD envirOnMents | 2015 |
| 3 | PRISMACLOUD | PRIvacy and Security MAintaining services in the CLOUD | 2015 |
| 4 | SEEVCA | Self-Enforcing Electronic Voting For Commercial Applications | 2015 |
| 5 | PROCEED | PROCess-based sEamless development of useful Earth system predictions over lanD | 2017 |
| 6 | Observable Stability | Evolutionary stability, observability, and efficiency | 2016 |
| 7 | TEMPOMATH | Temporal delays in mathematical models of cell biology processes | 2017 |
| 8 | COLDTRACK | New cloud-base SW for ensuring the Cold Chain during Food Transportation | 2017 |
| 9 | Big Policy Canvas | Big Policy Canvas - Needs, Trends and ICT Tools for Advanced Data-Driven Public Sector | 2017 |
| 10 | PRIViLEDGE | Privacy-Enhancing Cryptography in Distributed Ledgers | 2018 |
| 11 | SeQfood | Cost-Efficient Network for the Genetic Certification of Food Quality | 2018 |
| 12 | FRAPPANT | Formal Reasoning About Probabilistic Programs: Breaking New Ground for Automation | 2018 |
| 13 | ESCADA | Energy-optimized Symmetric Cryptography by Algebraic Duality Analysis | 2018 |
| 14 | COMPRISE | Cost-effective, Multilingual, Privacy-driven voice-enabled Services | 2018 |
| 15 | SSH Impact | Conference on the “Impact of Social Sciences and Humanities for a European Research Agenda - Valuation of SSH research in mission-oriented research” | 2018 |
| 16 | PROVENANCE | Providing Verification Assistance for New Content | 2018 |
| 17 | VERICOMP | Foundations of Verifiable Computing | 2019 |
| 18 | UNICORE | A Common Code Base and Toolkit for Deployment of Applications to Secure and Reliable Virtual Execution Environments | 2019 |