Temporal Mode-Checking for Runtime Monitoring of Privacy Policies.

Omar Chowdhury, Limin Jia, Deepak Garg, Anupam Datta

Browse the full CAV paper archive.