Observational equivalence and security games: Enhancing the formal analysis of security protocols
Article in Computers & Security (May 2024)
The most recent citing publications are shown below. View all 68 publications that cite this research output on Dimensions.
Article in Computers & Security (May 2024)
Article in Sensors (February 2024)
Article in International Journal of Electrical Power & Energy Systems (January 2024)