@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},
}

@INPROCEEDINGS{cgUCL-GJMS08,
 	AUTHOR={Gajek, Sebastian and Jager, Tibor and Manulis, Mark and Schwenk, Joerg},
	TITLE={{A Browser-Based Kerberos Authentication Scheme}},
	BOOKTITLE={13th European Symposium on Research in Computer Security (ESORICS 2008)},
	PUBLISHER={Springer},
	SERIES={LNCS},
	VOLUME={5283},
	PAGES={115-129},
	MONTH={10},
	YEAR={2008},
}

@INPROCEEDINGS{cgUCL-GMS08,
 	AUTHOR={Gajek, Sebastian and Manulis, Mark and Schwenk, Joerg},
	TITLE={{Enforcing User-Aware Browser-Based Mutual Authentication with Strong Locked Same-Origin Policy}},
	BOOKTITLE={13th Australasian Conference on Information Security and Privacy (ACISP 2008)},
	PUBLISHER={Springer},
	EDITOR={Y. Mu, W. Susilo, and J. Seberry},
	SERIES={Lecture Notes in Computer Science},
	VOLUME={5107},
	PAGES={6-20},
	MONTH={7},
	YEAR={2008},
}

@INPROCEEDINGS{cgUCL-GMSS08,
 	AUTHOR={Gajek, Sebastian and Manulis, Mark and Sadeghi, Ahmad-Reza and Schwenk, Joerg},
	TITLE={{Provably Secure Browser-Based User-Aware Mutual Authentication over TLS}},
	BOOKTITLE={ACM Symposium on Information, Computer and Communications Security (ASIACCS 2008)},
	PUBLISHER={ACM Press},
	EDITOR={M. Abe and V. Gligor},
	PAGES={300-311},
	MONTH={3},
	YEAR={2008},
}