Pasquale Malacaria Han Chen Lagrange multipliers and maximum information leakage in different observational models. 135-146 2008 PLAS http://doi.acm.org/10.1145/1375696.1375713 conf/pldi/2008plas db/conf/pldi/plas2008.html#MalacariaC08