4/11/2025 SQUARE Talk – “Approximating Quantitative Information Flow with Gaussian-Mixtures” by Andrzej Wąsowski
Andrzej Wąsowski will present recent work on quantifying information leakage in probabilistic programs using Gaussian mixture semantics. This is joint work with Francesca Randone (TU Wien) and Raúl Pardo (ITU). SPEAKER:[…]