"Automated Theorem-Proving -- A Panacea for the Woes of Theoretical Cryptography?"

This talk is in the spirit of my recent Notices article...