Accidental Sensitive Data Leaks Prevention via Formal Verification.

Madalina G. Ciobanu, Fausto Fasano, Fabio Martinelli, Francesco Mercaldo, Antonella Santone

Browse the full ICISSP paper archive.