Driving a sound static software analyzer with branch-and-bound. - Sven Mattsen; Pascal Cuoq; Sibylle Schupp (SCAM, 2013)

A non-convex abstract domain for the value analysis of binaries. - Sven Mattsen; Arne Wichmann 001; Sibylle Schupp (SANER, 2015)

The Challenge of Indirection: Treating Flags During Sound Analysis of Machine Code. - Sven Mattsen; Sibylle Schupp (Softwaretechnik-Trends, 2016)

BDD-based value analysis for X86 executables. - Sven Mattsen (2017)