TY  - RPRT
TI  - Compiling symbolic attacks to protocol implementation tests
AU  - Hatem Ghabri
AU  - Ghazi Maatoug
AU  - Michael Rusinowitch
PY  - 2013
DO  - 10.4204/eptcs.122.4
UR  - https://arxiv.org/abs/1307.8210
ID  - 1307.8210
ER  -