Symbolic Methods in Synthesized Cryptosystems
Project Type
Oral Presentation
Publication Date
4-29-2021
Department or Program
Department of Computer Science
College
College of Arts and Sciences
Faculty Mentor #1
Marshall, Andrew
Abstract
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.
Rights
COinS