Challenges in Defining a Programming Language for Provably Correct Dynamic Analyses. - Eric Bodden; Andreas Follner; Siegfried Rasthofer (ISoLA (1), 2012)

How Useful Are Existing Monitoring Languages for Securing Android Apps? - Steven Arzt; Kevin Falzon; Andreas Follner; Siegfried Rasthofer; Eric Bodden; Volker Stolz (Software Engineering (Workshops), 2013)

Analyzing the Gadgets - Towards a Metric to Measure Gadget Quality. - Andreas Follner; Alexandre Bartel; Eric Bodden (ESSoS, 2016)

PSHAPE: Automatically Combining Gadgets for Arbitrary Method Execution. - Andreas Follner; Alexandre Bartel; Hui Peng; Yu-Chen Chang; Kyriakos K. Ispoglou; Mathias Payer; Eric Bodden (STM, 2016)

ROPocop - Dynamic mitigation of code-reuse attacks. - Andreas Follner; Eric Bodden (J. Inf. Secur. Appl., 2016)

On Generating Gadget Chains for Return-Oriented Programming. - Andreas Follner (2017)