"An interpolation-based method for the verification of security protocols."

Marco Rocchetto, Luca Viganò, Marco Volpe (2017)
a service of Schloss Dagstuhl - Leibniz Center for Informatics