Showing cs.CRShow all
2 papers · 1 filter
cs.CR2026
On the Feasibility of Simulation-Secure Quantum Functional Encryption
Mohammed Barhoush, Arthur Mehta, Anne Müller +1
Functional encryption is a powerful cryptographic primitive that enables fine-grained access to encrypted data and underlies numerous applications. Although the ideal security noti…
cs.CR2025
A Haskell to FHE Transpiler
Anne Müller, Mohd Kashif, Nico Döttling
Fully Homomorphic Encryption (FHE) enables the evaluation of programs directly on encrypted data. However, because only basic operations can be performed on ciphertexts, programs m…