Opendata, web and dolomites

H2020 projects about "verifier"

The page lists 2 projects related to the topic "verifier".

# achronym  title  year 
1 CASCAde Confidentiality-preserving Security Assurance 2017
2 VERICOMP Foundations of Verifiable Computing 2019