Efficient and Safe Control Flow Recovery Using a Restricted Intermediate Language. - Tobias F. Pfeffer; Paula Herber; Lucas Druschke; Sabine Glesner (WETICE, 2018)