Information Leakage Analysis by Abstract Interpretation.

Matteo Zanioli, Agostino Cortesi

Browse the full SOFSEM paper archive.