functionalenc/papers/IBESecProof.pdf