@inproceedings {217601,
	author = {Ronghai Yang and Wing Cheong Lau and Jiongyi Chen and Kehuan Zhang},
	title = {Vetting Single {Sign-On} {SDK} Implementations via Symbolic Reasoning},
	booktitle = {27th USENIX Security Symposium (USENIX Security 18)},
	year = {2018},
	isbn = {978-1-939133-04-5},
	address = {Baltimore, MD},
	pages = {1459--1474},
	url = {https://www.usenix.org/conference/usenixsecurity18/presentation/yang},
	publisher = {USENIX Association},
	month = aug
}
