WSSMT: Towards the Automated Analysis of Security-Sensitive Services and Applications.

Michele Barletta, Alberto Calvi, Silvio Ranise, Luca Vigan, Luca Zanetti

Browse the full SYNASC paper archive.