@INPROCEEDINGS{ChabanneC-2011-iwcs,
  author        = {Chabanne, Hervé and Chevalier, Céline},
  title         = {Vaudenay’s Privacy Model in the Universal Composability Framework: A Case Study},
  booktitle     = {Secure and Trust Computing, Data Management, and Applications},
  year          = {2011},
  editor        = {Lee, Changhoon and Seigneur, Jean-Marc and Park, James J. and Wagner, Roland R.},
  volume        = {187},
  series        = {Communications in Computer and Information Science},
  pages         = {16--24},
  address       = {},
  month         = {June},
  organization  = {},
  publisher     = {Springer Berlin Heidelberg},
  pdf           = {http://www.springerlink.com/content/hk0t111jj1v26515/fulltext.pdf},
  slides        = {},
  bibsource     = {Information Security Group (GSI), UCL, Louvain-la-Neuve, Belgium},
}