@masterthesis{Mar20,
	author = {Marinho, Dylan},
	title = {Defeating Opaque Predicates},
	type = {Master thesis},
	institution = {Inria Nancy Grand Est},
	date = {2020},
	url = {https://hal.science/hal-04134856/},
	PDF = {https://hal.science/hal-04134856/file/main.pdf},
	HAL_ID = {hal-04134856},
	HAL_VERSION = {v1},
}