Static analysis for probabilistic programs: inferring whole program properties from finitely many paths
Differential privacy: A survey of results