@inproceedings{LP15,
title = {Performance Evaluations of Cryptographic Protocols. Verification Tools Dealing with Algebraic Properties },
author = {Lafourcade, Pascal and Puys, Maxime},
year = {2015},
booktitle = {To appear in FPS 2015},
team = {DCS, PACSS},
}