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

Cryptography is concerned with the construction of schemes that withstand any abuse.

A cryptographic scheme is constructed so as to maintain a desired functionality, even under malicious attempts aimed at making it deviate from its prescribed behavior. The design of cryptographic systems must be based on firm foundations, whereas ad hoc approaches and heuristics are a very dangerous way to go. These foundations were developed mostly in the 1980s, in works that are all co-authored by Shafi G...