https://123dok.net/document/q7woj1kv-achievability-simulation-based-security-functional-encryption.html