Publication Overview

Michael Backes and Esfandiar Mohammadi and Tim Ruffing

Computational Soundness Results for ProVerif - Bridging the Gap from Trace Properties to Uniformity

Published in: POST
Year: 2014
Pages: 42-62