@conference {297,
	title = {{QUAIL:} {A} Quantitative Security Analyzer for Imperative Code},
	booktitle = {Computer Aided Verification - 25th International Conference, {CAV} 2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings},
	year = {2013},
	doi = {10.1007/978-3-642-39799-8_49},
	url = {http://dx.doi.org/10.1007/978-3-642-39799-8_49},
	author = {Fabrizio Biondi and Axel Legay and Traonouez, Louis-Marie and Andrzej Wasowski}
}