Symbolic Methods in Synthesized Cryptosystems

Streaming Media

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.

Share

COinS