By Dalton Chichester
Faculty Mentor: Professor Andrew Marshall
I will be giving a brief overview of recent, and I think, interesting work on applying automated reasoning to cryptography. In particular to the automatic generation and security proofs of cryptographic systems. As well as introduce a new tool which is an implementation of some of these methods.