Sebastian Gajek, Mark Manulis, Olivier Pereira, Ahmad-Reza Sadeghi, Jörg Schwenk. Universally Composable Security Analysis of TLS. In Joonsang Baek, Feng Bao, Kefei Chen, Xuejia Lai, editors, Provable Security, Second International Conference, ProvSec 2008, Shanghai, China, October 30 - November 1, 2008. Proceedings. Volume 5324 of Lecture Notes in Computer Science, pages 313-327, Springer, 2008. [doi]
@inproceedings{GajekMPSS08,
title = {Universally Composable Security Analysis of TLS},
author = {Sebastian Gajek and Mark Manulis and Olivier Pereira and Ahmad-Reza Sadeghi and Jörg Schwenk},
year = {2008},
doi = {10.1007/978-3-540-88733-1_22},
url = {http://dx.doi.org/10.1007/978-3-540-88733-1_22},
tags = {analysis, security},
researchr = {https://researchr.org/publication/GajekMPSS08},
cites = {0},
citedby = {0},
pages = {313-327},
booktitle = {Provable Security, Second International Conference, ProvSec 2008, Shanghai, China, October 30 - November 1, 2008. Proceedings},
editor = {Joonsang Baek and Feng Bao and Kefei Chen and Xuejia Lai},
volume = {5324},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-540-88732-4},
}