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…