ICSE 2024
Fri 12 - Sun 21 April 2024 Lisbon, Portugal
Mon 15 Apr 2024 16:22 - 16:44 at Maria Helena Vieira da Silva - Binary Analysis & Keynote Chair(s): Daniel Schemmel

Mon 15 Apr

Displayed time zone: Lisbon change

16:00 - 17:30
Binary Analysis & KeynoteKLEE at Maria Helena Vieira da Silva
Chair(s): Daniel Schemmel Imperial College London
16:00
22m
Talk
What’s Up from Below? An Overview of Recent Advances in BINSEC
KLEE
P: Frédéric Recoules CEA, List, Sébastien Bardin CEA LIST, University Paris-Saclay
16:22
22m
Talk
Symbolic Execution of Binary Code based on Formal ISA Semantics
KLEE
P: Sören Tempel University of Bremen, Tobias Brandt Independent, Christoph Lüth University of Bremen / DFKI GmbH, Rolf Drechsler University of Bremen / DFKI GmbH
16:44
46m
Keynote
Let's help symbolic execution SOAR!
KLEE
Tomasz Kuchta Samsung Electronics