BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//pretalx//cfp.devcon.org//devcon8//speaker//KAU9QK
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-KQJAWK@cfp.devcon.org
DTSTART;TZID=IST:20261105T154000
DTEND;TZID=IST:20261105T161000
DESCRIPTION:Proportionality analysis needs a precise language for describin
 g what digital systems do\, what information they expose and who bears the
  resulting risks. This talk explores ideal functionality as a framework fo
 r modelling an application’s actors\, message exchanges\, computation an
 d outputs\, alongside the minimum leakage and residual risks its use entai
 ls under explicit assumptions.\n\nUsing UPI and electronic voting as case 
 studies\, it examines how such models support risk articulation and verifi
 able claims. What exactly does a guarantee establish\, who can check it\, 
 and with what evidence? The aim is to make proportionality claims testable
  and contestable while distinguishing cryptographic guarantees from judgme
 nts about acceptable risk.
DTSTAMP:20261101T132255Z
LOCATION:Lightning Stage
SUMMARY:A Grammar for Proportionality Analysis in Digital Systems - Subhash
 is Banerjee
URL:https://cfp.devcon.org/devcon8/talk/KQJAWK/
END:VEVENT
END:VCALENDAR