Controlled Functional Encryption
A Framework for Efficient and Composable Oblivious Transfer