@Inproceedings{BP14,
   status = {public},
   task = {--},
   publisher = {Springer},
   booktitle = {Formal Techniques for Distributed Objects, Components, and Systems - 34th IFIP WG 6.1 International Conference, FORTE 2014},
   series = {LNCS},
   year = {2014},
   invited = {no},
   volume = {8461},
   main = {no},
   title = {{Quantitative Information Flow under Generic Leakage Functions and Adaptive Adversaries}},
   author = {Michele Boreale and Francesca Pampaloni},
   period = {year3},
   partner = {DSIUF},
   wp = {WP5}
}