Symbolic Methods in Synthesized Cryptosystems
Department or Program
Department of Computer Science
College of Arts and Sciences
Faculty Mentor #1
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. Aswell as introduce a new tool which is an implementation of some of these methods.