@inproceedings {236338,
	author = {Shuai Wang and Yuyan Bao and Xiao Liu and Pei Wang and Danfeng Zhang and Dinghao Wu},
	title = {Identifying {Cache-Based} Side Channels through {Secret-Augmented} Abstract Interpretation},
	booktitle = {28th USENIX Security Symposium (USENIX Security 19)},
	year = {2019},
	isbn = {978-1-939133-06-9},
	address = {Santa Clara, CA},
	pages = {657--674},
	url = {https://www.usenix.org/conference/usenixsecurity19/presentation/wang-shuai},
	publisher = {USENIX Association},
	month = aug
}
@inproceedings {203878,
	author = {Shuai Wang and Pei Wang and Xiao Liu and Danfeng Zhang and Dinghao Wu},
	title = {{CacheD}: Identifying {Cache-Based} Timing Channels in Production Software},
	booktitle = {26th USENIX Security Symposium (USENIX Security 17)},
	year = {2017},
	isbn = {978-1-931971-40-9},
	address = {Vancouver, BC},
	pages = {235--252},
	url = {https://www.usenix.org/conference/usenixsecurity17/technical-sessions/presentation/wang-shuai},
	publisher = {USENIX Association},
	month = aug
}
@inproceedings {195136,
	author = {Xiao Liu and Qing Yi and Jishen Zhao},
	title = {Using Memory-style Storage to Support Fault Tolerance in Data Centers},
	booktitle = {USENIX Workshop on Cool Topics on Sustainable Data Centers (CoolDC 16)},
	year = {2016},
	address = {Santa Clara, CA},
	url = {https://www.usenix.org/conference/cooldc16/workshop-program/presentation/liu},
	publisher = {USENIX Association},
	month = mar
}
