Damián Aparicio-Sánchez, Santiago Escobar, Raúl Gutiérrez, Julia Sapiña. An Optimizing Protocol Transformation for Constructor Finite Variant Theories in Maude-NPA. In Liqun Chen, Ninghui Li, Kaitai Liang, Steve A. Schneider, editors, Computer Security - ESORICS 2020 - 25th European Symposium on Research in Computer Security, ESORICS 2020, Guildford, UK, September 14-18, 2020, Proceedings, Part II. Volume 12309 of Lecture Notes in Computer Science, pages 230-250, Springer, 2020. [doi]
Abstract is missing.