Yevgeniy Dodis, Victor Shoup, Shabsi Walfish: Efficient Constructions of Composable Commitments and Zero-Knowledge Proofs. CRYPTO 2008: 515-535