-
Graph Embedded Term Rewrite Systems
By Saraid Satterfield Faculty mentor: Dr. Andrew Marshall The primary motivator of this research is attempting to extend the ability of cryptographic protocol analysis tool and prove security questions about a wider set of cryptographic systems. Many systems already work for “subterm-convergent” presentations. Many also work for specific examples of protocols that are beyond subterm-convergent.…