Opendata, web and dolomites

H2020 projects about "freak"

The page lists 1 projects related to the topic "freak".

# achronym  title  year 
1 CIRCUS An end-to-end verification architecture for building Certified Implementations of Robust, Cryptographically Secure web applications 2016