Symbolic Execution of Binary Code based on Formal ISA Semantics (KLEE 2024) - ICSE 2024

Fri 12 - Sun 21 April 2024 Lisbon, Portugal

Who

Sören Tempel, Tobias Brandt, Christoph Lüth, Rolf Drechsler

Track

Time Zone

The program is currently displayed in (GMT+01:00) Lisbon.

Use conference time zone: (GMT+01:00) LisbonSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

When

Mon 15 Apr 2024 16:22 - 16:44 at Maria Helena Vieira da Silva - Binary Analysis & Keynote Chair(s): Daniel Schemmel

Sören TempelPresenter

University of Bremen

Tobias Brandt

Independent

Christoph Lüth

University of Bremen / DFKI GmbH

Rolf Drechsler

University of Bremen / DFKI GmbH

Time Zone

The program is currently displayed in (GMT+01:00) Lisbon.

Use conference time zone: (GMT+01:00) LisbonSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Session Program

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