A Framework for Efficient and Composable Oblivious Transfer
fairplay - secure two - party computation system .