Clean up notes on the Shafi Goldwasser lecture from opening session