Introduction to Property Testing

Studies in Complexity and Cryptography: Miscellanea on the Interplay between Randomness and Computation

Foundations of Cryptography: Volume 2, Basic Applications

Providing Sound Foundations for Cryptography: On the work of Shafi Goldwasser and Silvio Micali