BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//P4 - Language Consortium - ECPv6.17.1//NONSGML v1.0//EN
CALSCALE:GREGORIAN
METHOD:PUBLISH
X-WR-CALNAME:P4 - Language Consortium
X-ORIGINAL-URL:https://p4.org
X-WR-CALDESC:Events for P4 - Language Consortium
REFRESH-INTERVAL;VALUE=DURATION:PT1H
X-Robots-Tag:noindex
X-PUBLISHED-TTL:PT1H
BEGIN:VTIMEZONE
TZID:America/Vancouver
BEGIN:DAYLIGHT
TZOFFSETFROM:-0800
TZOFFSETTO:-0700
TZNAME:PDT
DTSTART:20250309T100000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:-0700
TZOFFSETTO:-0800
TZNAME:PST
DTSTART:20251102T090000
END:STANDARD
BEGIN:DAYLIGHT
TZOFFSETFROM:-0800
TZOFFSETTO:-0700
TZNAME:PDT
DTSTART:20260308T100000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:-0700
TZOFFSETTO:-0700
TZNAME:MST
DTSTART:20261101T090000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTART;TZID=America/Vancouver:20260924T080000
DTEND;TZID=America/Vancouver:20260924T090000
DTSTAMP:20260716T145856Z
CREATED:20260716T145834Z
LAST-MODIFIED:20260716T145856Z
UID:10000166-1790236800-1790240400@p4.org
SUMMARY:P4 Developer Days – Securing P4 Programs by Information Flow Control
DESCRIPTION:Securing P4 Programs by Information Flow Control\n\n\nAbstract\nP4’s flexibility makes it easy to leak sensitive data without realizing it. A bad table entry\, a copy-paste bug in a branch condition\, or a stray debug field can quietly expose secrets to an untrusted network\, and nothing in the toolchain today catches it. \nI’ll show how our tool\, TAP4S\, catches this kind of leak automatically. You mark which fields are sensitive and which ports are untrusted\, and it checks every path for violations\, with no annotations or code changes required. \nSpeaker\nAnoud Alshnakat is a PhD researcher in Formal Methods at KTH Royal Institute of Technology in Stockholm\, where her work focuses on verifying and securing P4 data-plane programs (HOL4P4 and TAP4S). She’s especially interested in bringing formal methods closer to how developers actually write and reason about network code. \n\n\n🗓️ [Click here] to add event and zoom details to your calendar for September 24 at 8 am PT (virtual & free)
URL:https://p4.org/event/securing-p4-programs/
CATEGORIES:Events
ATTACH;FMTTYPE=image/png:https://p4.org/wp-content/uploads/sites/53/2026/07/Dev-Day-Sept-24-2026.png
END:VEVENT
END:VCALENDAR