@inproceedings{CGO-2019-LimN,
	acmid         = "3314880",
	author        = "Jay P. Lim and Santosh Nagarakatte",
	booktitle     = "{Proceedings of the 17th International Symposium on Code Generation and Optimization}",
	doi           = "10.1109/CGO.2019.8661180",
	isbn          = "978-1-7281-1436-1",
	pages         = "37--49",
	publisher     = "{IEEE}",
	title         = "{Automatic Equivalence Checking for Assembly Implementations of Cryptography Libraries}",
	year          = 2019,
}