@conference{EPTCS122.4,
author = "Hatem Ghabri and Ghazi Maatoug and Michael Rusinowitch",
booktitle = "Proceedings Fourth International Symposium on Symbolic Computation in Software Science, Gammarth, Tunisia, 15-17 December 2012",
doi = "10.4204/EPTCS.122.4",
editor = "Bouhoula, Adel  and Ida, Tetsuo and Kamareddine, Fairouz",
note = "partners: INRIA, SupCom Tunis ; projects: Nessos; TIER: unknown; citations: 2",
pages = "39-49",
publisher = "Open Publishing Association",
series = "Electronic Proceedings in Theoretical Computer Science",
title = "{C}ompiling symbolic attacks to protocol implementation tests",
volume = "122",
year = "2013",
}