Datacentric Semantics for Verification of Privacy Policy Compliance by Mobile Applications
Abstract elided by the publisher.
Related papers
- Taypsi: Static Enforcement of Privacy Policies for Policy-Agnostic Oblivious Computation OOPSLA 2024
- A language for automatically enforcing privacy policies POPL 2012
- Precise, dynamic information flow for database-backed applications PLDI 2016
- A type discipline for authorization policies TOPLAS 2007
- Temporal Mode-Checking for Runtime Monitoring of Privacy Policies CAV 2014
- Analysing installation scenarios of Debian packages TACAS 2020
- Deductive Synthesis of Reinforcement Learning Agents for Infinite Horizon Tasks CAV 2025
- A Stable Model Semantics for eFLINT Norm Specifications and Model Checking Scenarios GPCE 2025