Symbolic Methods in Synthesized Cryptosystems

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.