BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//pretalx//cfp.recon.cx//2022//TGJKPY
BEGIN:VTIMEZONE
TZID:EST
BEGIN:STANDARD
DTSTART:20001029T030000
RRULE:FREQ=YEARLY;BYDAY=-1SU;BYMONTH=10;UNTIL=20061029T070000Z
TZNAME:EST
TZOFFSETFROM:-0400
TZOFFSETTO:-0500
END:STANDARD
BEGIN:STANDARD
DTSTART:20071104T030000
RRULE:FREQ=YEARLY;BYDAY=1SU;BYMONTH=11
TZNAME:EST
TZOFFSETFROM:-0400
TZOFFSETTO:-0500
END:STANDARD
BEGIN:DAYLIGHT
DTSTART:20000402T030000
RRULE:FREQ=YEARLY;BYDAY=1SU;BYMONTH=4;UNTIL=20060402T080000Z
TZNAME:EDT
TZOFFSETFROM:-0500
TZOFFSETTO:-0400
END:DAYLIGHT
BEGIN:DAYLIGHT
DTSTART:20070311T030000
RRULE:FREQ=YEARLY;BYDAY=2SU;BYMONTH=3
TZNAME:EDT
TZOFFSETFROM:-0500
TZOFFSETTO:-0400
END:DAYLIGHT
END:VTIMEZONE
BEGIN:VEVENT
UID:pretalx-2022-UJYPAS@cfp.recon.cx
DTSTART;TZID=EST:20220603T113000
DTEND;TZID=EST:20220603T120000
DESCRIPTION:Big control-flow graphs are scary!  Imagine opening a target an
 d IDA tells you that the graph is too big to be displayed on screen. A gre
 at tool to circumvent this issue is symbolic execution\, a technique where
  you can match binary state with the corresponding input that caused its e
 xecution. \n\nYou can use symbolic and concolic execution to find constrai
 nts in crackme solving\, for deobfuscation purposes and even advanced fuzz
 ing of complex binaries. \n\nIn this workshop we will take a crackme chall
 enge and learn how to speed up our reverse engineering process via smt sol
 ving and symbolic execution. We will get some hands-on experience using th
 e angr framework and learn how to identify and fix common issues that you'
 re dealing with when using it. After this workshop big control-flow graphs
  won't be as daunting anymore\, you will know when and how to apply symbol
 ic execution\, gain an edge in ctf solving and have some hands-on experien
 ce using the angr framework.
DTSTAMP:20251222T223241Z
LOCATION:Grand Salon
SUMMARY:Reverse engineering of black-box binaries with symbolic and concoli
 c execution techniques - Jannis Kirschner
URL:https://cfp.recon.cx/2022/talk/UJYPAS/
END:VEVENT
END:VCALENDAR