Practical Composable Cryptographic Protocols Resistant Against Adaptive Attacks