Showing cs.CRShow all
2 papers · 1 filter
cs.CR2024
Symbolic Quantitative Information Flow for Probabilistic Programs
Philipp Schröer, Francesca Randone, Raúl Pardo +1
It is of utmost importance to ensure that modern data intensive systems do not leak sensitive information. In this paper, the authors, who met thanks to Joost-Pieter Katoen, discus…
cs.CR2024
Model-Checking the Implementation of Consent
Raúl Pardo, Daniel Le Métayer
Privacy policies define the terms under which personal data may be collected and processed by data controllers. The General Data Protection Regulation (GDPR) imposes requirements o…