@misc{cryptoeprint:2013:555,
    author = {Ueli Maurer and Björn Tackmann and Sandro Coretti},
    title = {Key Exchange with Unilateral Authentication: Composable Security Definition and Modular Protocol Design},
    howpublished = {Cryptology ePrint Archive, Report 2013/555},
    year = {2013},
    url = {https://eprint.iacr.org/2013/555},
}