@misc{cryptoeprint:2008:251,
    author = {Sebastian Gajek and Mark Manulis and Olivier Pereira and Ahmad-Reza Sadeghi and Jörg Schwenk},
    title = {Universally Composable Security Analysis of TLS---Secure Sessions with Handshake and Record Layer Protocols},
    howpublished = {Cryptology ePrint Archive, Report 2008/251},
    year = {2008},
    url = {http://eprint.iacr.org/2008/251},
}