@conference {299,
	title = {Quantifying Information Leakage of Randomized Protocols},
	booktitle = {Verification, Model Checking, and Abstract Interpretation, 14th International Conference, {VMCAI} 2013, Rome, Italy, January 20-22, 2013. Proceedings},
	year = {2013},
	doi = {10.1007/978-3-642-35873-9_7},
	url = {http://dx.doi.org/10.1007/978-3-642-35873-9_7},
	author = {Fabrizio Biondi and Axel Legay and Pasquale Malacaria and Andrzej Wasowski}
}