Tag: Saraid Satterfield

  • 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.…