Temporal Mode-Checking for Runtime Monitoring of Privacy Policies
Abstract elided by the publisher.
Related papers
- Differentially Private Runtime Monitoring CAV 2026
- Explainable Online Monitoring of Metric Temporal Logic TACAS 2023
- Policy Monitoring in First-Order Temporal Logic CAV 2010
- Local policies for resource usage analysis TOPLAS 2009
- Online Causation Monitoring of Signal Temporal Logic CAV 2023
- Runtime Enforcement of Security Policies on Black Box Reactive Programs POPL 2015
- Runtime Verification of Temporal Properties over Out-of-Order Data Streams CAV 2017
- Datacentric Semantics for Verification of Privacy Policy Compliance by Mobile Applications VMCAI 2015