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