Mariapia Raimondo, Stefano Marrone 0001, Simona Bernardi 0001, Angelo Palladino. Demonstrating the Necessity of Model Generation in Security Protocol Verification. In 28th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2023, Sinaia, Romania, September 12-15, 2023. pages 1-8, IEEE, 2023. [doi]
Abstract is missing.