Reverse Engineering of ARM Binaries Using Formal Transformations. - Tobias F. Pfeffer; Paula Herber; Jörg Schneider 001 (SIN, 2014)

Protecting Legacy Code against Control Hijacking via Execution Location Equivalence Checking. - Tobias F. Pfeffer; Stefan Sydow; Joachim Fellmuth; Paula Herber (QRS, 2016)

Securing Real-Time Cyber-Physical Systems Using WCET-Aware Artificial Diversity. - Joachim Fellmuth; Paula Herber; Tobias F. Pfeffer; Sabine Glesner (DASC/PiCom/DataCom/CyberSciTech, 2017)

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

Timing-Sensitive Synchronization for Efficient Secure Multi-Execution. - Tobias F. Pfeffer; Sabine Glesner (CCSW, 2019)

Efficient and Precise Information Flow Control for Machine Code through Demand-Driven Secure Multi-Execution. - Tobias F. Pfeffer; Thomas Göthel; Sabine Glesner (CODASPY, 2019)

Automatic Analysis of Critical Sections for Efficient Secure Multi-Execution. - Tobias F. Pfeffer; Thomas Göthel; Sabine Glesner (QRS, 2019)

I/O Interaction Analysis of Binary Code. - Konstantin Scherer; Tobias F. Pfeffer; Sabine Glesner (WETICE, 2019)

Secrecy included: confidentiality enforcement for machine code. - Tobias F. Pfeffer (2022)