@misc{cryptoeprint:2009:080,
    author = {Michael Backes and Dennis Hofheinz and Dominique Unruh},
    title = {A general framework for computational soundness proofs - or - The computational soundness of the applied pi-calculus},
    howpublished = {Cryptology ePrint Archive, Report 2009/080},
    year = {2009},
    url = {http://eprint.iacr.org/2009/080},
}