Efficient construction of machine-checked symbolic protocol security proofs (Journal of Computer Security, 2013)

(untitled) - Meier, S; Cremers, C; Basin, D