@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-CLMS08,
 	AUTHOR={Chen, Liqun and Loehr, Hans and Manulis, Mark and Sadeghi, Ahmad-Reza},
	TITLE={{Property-Based Attestation without a Trusted Third Party}},
	BOOKTITLE={11th Information Security Conference (ISC 2008)},
	PUBLISHER={Springer-Verlag},
	EDITOR={T.-C. Wu et al.},
	SERIES={Lecture Notes in Computer Science},
	VOLUME={5222},
	PAGES={31-46},
	MONTH={9},
	YEAR={2008},
}

@INPROCEEDINGS{cgUCL-AELMS08,
 	AUTHOR={Armknecht, Frederik and Escalante, Alberto and Loehr, Hans and Manulis, Mark and Sadeghi, Ahmad-Reza},
	TITLE={{Secure Multi-Coupons for Federated Environments: Privacy-Preserving and Customer-Friendly}},
	BOOKTITLE={4th Information Security Practice and Experience Conference (ISPEC 2008)},
	PUBLISHER={Springer},
	EDITOR={L. Chen, Y. Mu, and W. Susilo},
	SERIES={Lecture Notes in Computer Science},
	VOLUME={4991},
	PAGES={29-44},
	MONTH={4},
	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},
}