Up a level |
(2015) Equivalence-based Security for Querying Encrypted Databases: Theory and Application to Privacy Policy Audits.
(2014) Temporal Mode-Checking for Runtime Monitoring of Privacy Policies.
(2014) Temporal Mode-Checking for Runtime Monitoring of Privacy Policies.