Annual Report on post-quantum safe Functional Encryption schemes Y1

Summary
This Deliverable describes the quantum-safe FE constructions along a formal security analysis.