Security Weaknesses Detection by Symbolic Analysis of Scenarios.

Boutheina Bannour, Jose Pablo Escobedo, Christophe Gaston, Pascale Le Gall, Gabriel Pedroza

Browse the full APSEC paper archive.