Universally Composable Security Analysis of TLS

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]

Authors

Sebastian Gajek

This author has not been identified. Look up 'Sebastian Gajek' in Google

Mark Manulis

This author has not been identified. Look up 'Mark Manulis' in Google

Olivier Pereira

This author has not been identified. Look up 'Olivier Pereira' in Google

Ahmad-Reza Sadeghi

This author has not been identified. Look up 'Ahmad-Reza Sadeghi' in Google

Jörg Schwenk

This author has not been identified. Look up 'Jörg Schwenk' in Google