Summary
This Deliverable describes the FE constructions for the specific use cases being considered in the FENTEC project along a formal security analysis.
More information & hyperlinks