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 15 publications that cite this research output on Dimensions.
Article in TheoretiCS (March 2024)
Article in Cryptography (August 2019)
Article in Sensors (April 2019)