Sven Mattsen

According to our database, Sven Mattsen authored at least 4 papers between 2013 and 2017.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2017

BDD-based value analysis for X86 executables.

Sven Mattsen

PhD thesis, 2017

2016

The Challenge of Indirection: Treating Flags During Sound Analysis of Machine Code.

Sven Mattsen, Sibylle Schupp

Softwaretechnik-Trends, 2016

2015

A non-convex abstract domain for the value analysis of binaries.

Sven Mattsen, Arne Wichmann, Sibylle Schupp

Proceedings of the 22nd IEEE International Conference on Software Analysis, 2015

2013

Driving a sound static software analyzer with branch-and-bound.

Sven Mattsen, Pascal Cuoq, Sibylle Schupp

Proceedings of the 13th IEEE International Working Conference on Source Code Analysis and Manipulation, 2013