Avigad, L., Bellare, M., Brakerski, Z., Goldreich, O., Goldwasser, S., Halevi, S., Kaufman, T., Levin, L., Nisan, N., Ron, D., Sudan, M., Trevisan, L., Vadhan, S., Wigderson, A. & Zuckerman, D., 2011, Berlin, Germany. 563 p. (Lecture Notes in Computer Science)(Studies in Complexity and Cryptography)