Pascal Lafourcade, Maxime Puys. Performance Evaluations of Cryptographic Protocols Verification Tools Dealing with Algebraic Properties. In Joaquín García-Alfaro, Evangelos Kranakis, Guillaume Bonfante, editors, Foundations and Practice of Security - 8th International Symposium, FPS 2015, Clermont-Ferrand, France, October 26-28, 2015, Revised Selected Papers. Volume 9482 of Lecture Notes in Computer Science, pages 137-155, Springer, 2015. [doi]