@InProceedings{Backes:2012:CSF,
  author    = "Michael Backes and
               Gilles Barthe and
               Matthias Berg and
               Malte Skoruppa and
               Santiago Zanella-B{\'e}guelin",
  title     = "Verified security of Merkle-Damg{\aa}rd",
  booktitle = "25th IEEE Computer Security Foundations Symposium, CSF 2012",
  publisher = "IEEE Computer Society",
  pages     = "354-368",
  year      = "2012",
  url       = "http://dx.doi.org/10.1109/CSF.2012.14"
}