BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//pretalx//cfp.pass-the-salt.org//pts2026//speaker//PZMZJU
BEGIN:VTIMEZONE
TZID:CET
BEGIN:STANDARD
DTSTART:20001029T040000
RRULE:FREQ=YEARLY;BYDAY=-1SU;BYMONTH=10
TZNAME:CET
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
END:STANDARD
BEGIN:DAYLIGHT
DTSTART:20000326T030000
RRULE:FREQ=YEARLY;BYDAY=-1SU;BYMONTH=3
TZNAME:CEST
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
END:DAYLIGHT
END:VTIMEZONE
BEGIN:VEVENT
UID:pretalx-pts2026-KM8MUR@cfp.pass-the-salt.org
DTSTART;TZID=CET:20260630T150500
DTEND;TZID=CET:20260630T154000
DESCRIPTION:Go powers critical infrastructure\, but analyzing compiled Go b
 inaries for security issues remains difficult in practice.\n\nIn this talk
 \, we present Zorya\, an open-source concolic analysis framework designed 
 to detect vulnerabilities directly at the binary level\, including bugs th
 at do not immediately crash the program.\n\nWe will show how Zorya combine
 s runtime state recovery\, symbolic reasoning\, and constraint solving wit
 h the Z3 SMT solver to analyze real-world Go targets. Attendees will learn
  where traditional approaches fall short\, how Zorya helps uncover exploit
 -relevant paths\, and how this can improve real security audit workflows.
DTSTAMP:20260514T103414Z
LOCATION:Amphitheater 122
SUMMARY:Automated Vulnerability Detection in Go: Concolic Execution for Mul
 ti-Threaded Binaries - Karolina GORNA (Security Researcher\, Ledger)
URL:https://cfp.pass-the-salt.org/pts2026/talk/KM8MUR/
END:VEVENT
END:VCALENDAR