@inproceedings{Alvim_CMMPS_16, address = {Lisbon}, author = {Alvim, Mario and Chatzikokolakis, Kostantinos and McIver, Annabelle and Morgan, Carroll and Palamidessi, Catuscia and Smith, Geoffrey}, booktitle = {Computer Security Foundations}, date = {2016-6-28}, month = jun, pages = {77-92}, paperurl = {https://trustworthy.systems/publications/full_text/Alvim_CMMPS_16.pdf}, publisher = {IEEE}, title = {Axioms for Information Leakage}, year = {2016} }