1. POEPLAU Sebastian
  2. POEPLAU Sebastian
print

POEPLAU Sebastian

Conference

Poeplau, Sebastian; Francillon, Aurélien

SymQEMU: Compilation-based symbolic execution for binaries

Detail
Document
DOI
HAL
BIBTEX

Thesis

Poeplau, Sebastian

Increasing the performance of symbolic execution by compiling symbolic handling into binaries

Detail
Document
HAL
BIBTEX

Conference

Poeplau, Sebastian; Francillon, Aurélien

Symbolic execution with SymCC: Don't interpret, compile!

Distinguished Paper Award
Detail
Document
HAL
BIBTEX

Invited Journal

Corteggiani, Nassim; Camurati, Giovanni; Muench, Marius; Poeplau, Sebastian; Francillon, Aurélien

SoC security evaluation: Reflections on methodology and tooling

Detail
Document
DOI
BIBTEX

Conference

Poeplau, Sebastian; Francillon, Aurélien

Systematic comparison of symbolic execution systems: Intermediate representation and its generation

Detail
Document
DOI
BIBTEX

Talk

Camurati, Giovanni; Muench, Marius; Corteggiani, Nassim; Poeplau, Sebastian

2019 Hack@DAC top finalist team “NOPS” presents their approach

Detail
BIBTEX

Talk

Camurati, Giovanni; Poeplau, Sebastian; Muench, Marius; Hayes, Tom; Francillon, Aurélien

Rejeu: Screaming channels: quand un émetteur radio diffuse des canaux auxiliaires

Detail
Document
BIBTEX

Talk

Camurati, Giovanni; Poeplau, Sebastian; Muench, Marius; Hayes, Tom; Francillon, Aurélien

Screaming channels: When electromagnetic side channels meet radio transceivers

Detail
Document
BIBTEX

Conference

Camurati, Giovanni; Poeplau, Sebastian; Muench, Marius; Hayes, Tom; Francillon, Aurélien

Screaming channels: When electromagnetic side channels meet radio transceivers

3rd place at the CSAW18 competition
Detail
Document
DOI
HAL
BIBTEX

Talk

Camurati, Giovanni; Muench, Marius; Poeplau, Sebastian; Hayes, Tom; Francillon, Aurélien

Screaming channels: When electromagnetic side channels meet radio transceivers

Detail
Document
BIBTEX