@misc{cryptoeprint:2005:074,
    author = {Mathieu Baudet and V{\'e}ronique Cortier and Steve Kremer},
    title = {Computationally sound implementations of equational theories against passive adversaries},
    howpublished = {Cryptology ePrint Archive, Report 2005/074},
    year = {2005},
    url = {http://eprint.iacr.org/2005/074},
}