@inproceedings{backes08limits,
  author       = {Backes, Michael and Unruh, Dominique},
  title        = {Limits of Constructive Security Proofs},
  booktitle    = {ASIACRYPT 2008},
  month        = {December},
  year         = {2008},
  pages        = {290-307}
}