SAILS: static analysis of information leakage with sample.

Matteo Zanioli, Pietro Ferrara, Agostino Cortesi

Browse the full SAC paper archive.