Marco Rocchetto, Luca Viganò, Marco Volpe, Giacomo Dalle Vedove. Using Interpolation for the Verification of Security Protocols. In Rafael Accorsi, Silvio Ranise, editors, Security and Trust Management - 9th International Workshop, STM 2013, Egham, UK, September 12-13, 2013. Proceedings. Volume 8203 of Lecture Notes in Computer Science, pages 99-114, Springer, 2013. [doi]
Abstract is missing.