3 papers
cs.CR2026
On the Impossibility of Simulation Security for 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…
quant-ph2025
Unclonable Functional Encryption
Arthur Mehta, Anne Müller
In a functional encryption (FE) scheme, a user that holds a ciphertext and a function key can learn the result of applying the function to the plaintext message. Security requires…