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