@inbook{BLM+11,
title = {Formal Models and Techniques for Analyzing Security Protocols },
author = {Bresson, Emmanuel and Lakhnech, Yassine and Mazar\'e, Laurent and Warinschi, Bogdan},
year = {2011},
chapter = {Computational Soundness - The Case of Diffie-Hellman Keys},
publisher = {IOS Press},
team = {DCS},
}
