@inproceedings{PS11,
	title="Renegotiation-safe Protocols",
	author="Rafael Pass and Abhi Shelat",
	year="2011",
	booktitle="Innovations in Theoretical Computer Science ’11 (ITCS’11)"
}