BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//pretalx//cfp.devcon.org//devcon8//speaker//LW377L
BEGIN:VTIMEZONE
TZID:IST
BEGIN:STANDARD
DTSTART:20000101T000000
RRULE:FREQ=YEARLY;BYMONTH=1
TZNAME:IST
TZOFFSETFROM:+0530
TZOFFSETTO:+0530
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
UID:pretalx-devcon8-KDLJWW@cfp.devcon.org
DTSTART;TZID=IST:20261105T122000
DTEND;TZID=IST:20261105T125000
DESCRIPTION:What does it mean to call a smart contract secure\, and what ev
 idence should back that claim? Subodh Sharma joins a conversation on what 
 verification can establish\, where AI can help\, and what still needs huma
 n judgement. Drawing on his research\, we’ll also discuss security acros
 s interconnected Ethereum applications and how public verifiability can co
 exist with privacy.
DTSTAMP:20261101T132228Z
LOCATION:Lightning Stage
SUMMARY:What Can We Actually Verify? AI and Ethereum Security - Subodh Shar
 ma
URL:https://cfp.devcon.org/devcon8/talk/KDLJWW/
END:VEVENT
END:VCALENDAR