functionalenc/papers/IBESecProof_new.pdf