Sebastian Poeplau is an author at EURECOM specializing in engineering, program analysis, and computer engineering.
Top concepts
EngineeringProgram AnalysisSoftware AnalysisComputer EngineeringCryptographyData SecurityFormal MethodsComputer ScienceFormal VerificationInformation Security
Publications per year
2012–2021
6
6
Giovanni Camurati, Sebastian Poeplau, Marius Muench et al. · 2018 · 137 citations · Full text
SymQEMU: Compilation-based symbolic execution for binaries
Sebastian Poeplau, Aurélien Francillon · 2021 · 55 citations · Full text
Rows per page
1–5 of 6