functionalenc/papers/bfibe(1).pdf