@INPROCEEDINGS{cgUCL-GMPSS08,
 	AUTHOR={Gajek, Sebastian and Manulis, Mark and Pereira, Olivier and Sadeghi, Ahmad-Reza and Schwenk, Joerg},
	TITLE={{Universally Composable Security Analysis of TLS}},
	BOOKTITLE={2nd International Conference on Provable Security (ProvSec 2008)},
	PUBLISHER={Springer},
	SERIES={LNCS},
	VOLUME={5324},
	PAGES={313-327},
	MONTH={10},
	YEAR={2008},
}