|=------------------------------------------------------------------------------------------------=|
######## ######## ######## ###### ####### ## ## ######## ####### ## ## ########
## ## ## ## ## ## ## ## ### ## ## ## ## ## ### ### ##
## ## ## ## ## ## ## #### ## ## ## ## ## #### #### ##
## ## ###### ###### ## ## ## ## ## ## ######## ## ## ## ### ## ######
## ## ## ## ## ## ## ## #### ## ## ## ## ## ## ##
## ## ## ## ## ## ## ## ## ### ## ## ## ## ## ## ##
######## ######## ## ###### ####### ## ## ## ## ####### ## ## ########
|=------------------------------------------------------------------------------------------------=|
DEF CON group 11396 @ Rome, Italy
[Main] [Meetings] [Posts] [Projects]
|=----------------------------------------=[ June 2021 ]=-----------------------------------------=|
by pietroborrello
This is the 15th meeting of the DEF CON group.
Date and location: June 25th from 6 p.m. to 7 p.m. on Zoom (link to be posted in the Telegram group).
The schedule is:
---[ Hybrid Fuzzing, by lucaborza
Concolic execution is a dynamic flavor of symbolic execution widely used in combination with fuzzers for automatic test-case generation and vulnerability detection.
In this talk, we will introduce symbolic and concolic execution, and we will present fuzzolic: a fast concolic executor that instrument binary programs at runtime using the TCG IR of QEMU.
Slides link: https://docs.google.com/presentation/d/14Q4HbQ3PfTUQ9856q62fe4_YIVAt2WlmL9yU0xCNQJs/edit#slide=id.p