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 8 publications that cite this research output on Dimensions.
Article in TheoretiCS (March 2024)
Conference proceeding (October 2022)
Article in Journal of Automated Reasoning (November 2018)