BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Towards Secure Distributed Choreographies - Andrew K. Hirsch (Buff
 alo)
DTSTART:20240126T140000Z
DTEND:20240126T150000Z
UID:TALK207772@talks.cam.ac.uk
CONTACT:47138
DESCRIPTION:\nChoreographic programming is an emerging paradigm for messag
 e-passing concurrency. A choreographic program (or "choreography") describ
 es the computation of an entire system\; this ensures deadlock-freedom wit
 hout requiring the extraneous checks that other solutions like session typ
 es require. Choreographies seem perfect for designing distributed systems\
 , since they allow deadlock freedom with arbitrary communication patterns 
 for codesigned nodes. This talk looks at two challenges involved in using 
 choreographies this way: information security and the closed-world assumpt
 ion. In both cases\, I will discuss what makes these problems challenging\
 , and report on current work meant to address them.\n
LOCATION:SS03\, Computer Laboratory
END:VEVENT
END:VCALENDAR