Opendata, web and dolomites

H2020 projects about "verifiable"

The page lists 18 projects related to the topic "verifiable".

# achronym  title  year 
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