DeepSec: Deciding Equivalence Properties for Security Protocols -- Improved theory and practice
Article in TheoretiCS (March 2024)
The most recent citing publications are shown below. View all 12 publications that cite this research output on Dimensions.
Article in TheoretiCS (March 2024)
Article in Systems Engineering (November 2016)
Preprint in arXiv (September 2011)