Summary
This Deliverable describes the FE constructions for functionalities beyond linear functions along a formal security analysis.
More information & hyperlinks