1. On Black-Box Complexity and Adaptive, Universal Composability of Cryptographic Tasks Dachman-Soled, Dana 2011 Theses Computer science