Datacentric Semantics for Verification of Privacy Policy Compliance by Mobile Applications.

Agostino Cortesi, Pietro Ferrara, Marco Pistoia, Omer Tripp

Browse the full VMCAI paper archive.