How to Break and Repair a Universally Composable Signature Functionality