@inproceedings{ASPLOS-2018-DavidPY,
	author        = "Yaniv David and Nimrod Partush and Eran Yahav",
	booktitle     = "{Proceedings of the Twenty-Third International Conference on Architectural Support for Programming Languages and Operating Systems}",
	doi           = "10.1145/3173162.3177157",
	pages         = "392--404",
	publisher     = "{ACM}",
	title         = "{FirmUp: Precise Static Detection of Common Vulnerabilities in Firmware}",
	year          = 2018,
}