@conference { ,
	title = {New models for understanding and reasoning about speculative execution attacks},
	year = {2021},
	author = {Zecheng He and Guangyuan Hu and Ruby B. Lee}
}