"SAILS: static analysis of information leakage with sample."

Matteo Zanioli, Pietro Ferrara, Agostino Cortesi (2012)
a service of Schloss Dagstuhl - Leibniz Center for Informatics