Using Interpolation for the Verification of Security Protocols. - Marco Rocchetto; Luca Viganò 001; Marco Volpe 001; Giacomo Dalle Vedove (STM, 2013)