Saraid Dwyer Satterfield

According to our database, Saraid Dwyer Satterfield authored at least 2 papers between 2023 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

Knowledge Problems in Protocol Analysis: Extending the Notion of Subterm Convergent.

Carter Bunch, Saraid Dwyer Satterfield, Serdar Erbatur, Andrew M. Marshall, Christophe Ringeissen

Log. Methods Comput. Sci., 2026

2023

Knowledge Problems in Security Protocols: Going Beyond Subterm Convergent Theories.

Saraid Dwyer Satterfield, Serdar Erbatur, Andrew M. Marshall, Christophe Ringeissen

Proceedings of the 8th International Conference on Formal Structures for Computation and Deduction, 2023