Models and Proofs of Protocol Security: A Progress Report

Bruno Blanchet
Hubert Comon-Lundh
CAV(2009), pp. 35-49

Abstract

Research Areas