Sebastian Poeplau
Eurecom
H-index: 6
Europe-France
Top articles of Sebastian Poeplau
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
SymQEMU: Compilation-based symbolic execution for binaries | Sebastian Poeplau Aurélien Francillon | 2021/2/21 | |
Increasing the performance of symbolic execution by compiling symbolic handling into binaries | Sebastian Poeplau | 2020/11/20 | |
Symbolic execution with SymCC: Don’t interpret, compile! | Sebastian Poeplau Aurélien Francillon | 2020/8/12 | |
SoC Security Evaluation: Reflections on Methodology and Tooling | IEEE Design & Test | Nassim Corteggiani Giovanni Camurati Marius Muench Sebastian Poeplau Aurélien Francillon | 2020/8/3 |