Compiling symbolic attacks to protocol implementation tests. - Hatem Ghabri; Ghazi Maatoug; Michaël Rusinowitch (SCSS, 2012)