Saraid Dwyer Satterfield

Publication Activity (10 Years)

Years Active: 2023-2024
Publications (10 Years): 2

Top Topics

Security Protocols

Automated Design

Top Venues

Publications

Carter Bunch, Saraid Dwyer Satterfield, Serdar Erbatur, Andrew M. Marshall, Christophe Ringeissen
Knowledge Problems in Protocol Analysis: Extending the Notion of Subterm Convergent. CoRR (2024)
Saraid Dwyer Satterfield, Serdar Erbatur, Andrew M. Marshall, Christophe Ringeissen
Knowledge Problems in Security Protocols: Going Beyond Subterm Convergent Theories. FSCD (2023)