Michael Backes, Esfandiar Mohammadi, Tim Ruffing: Computational Soundness Results for ProVerif - Bridging the Gap from Trace Properties to Uniformity. POST 2014: 42-62