BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Categorical composable cryptography - Martti Karvonen (University 
 of Ottawa)
DTSTART:20210525T151500Z
DTEND:20210525T161500Z
UID:TALK160660@talks.cam.ac.uk
CONTACT:José Siqueira
DESCRIPTION:We formalize the simulation paradigm of cryptography in terms\
 nof category theory\, resulting in an abstract model of composable securit
 y definitions. We begin by recalling some background on cryptography and (
 categorical) resource theories. After this\, we explain the framework itse
 lf\, defined in terms of abstract attack model on a symmetric monoidal cat
 egory\, and show that protocols secure against\nattacks form a symmetric m
 onoidal category. We then use string diagrams to rederive no-go results co
 ncerning the limits of bipartite\, ruling out e.g. composable commitments.
  Time permitting\, we discuss extensions of the framework that allow us to
  incorporate computational security and set-up assumptions into the model.
 \n\nZoom link: https://maths-cam-ac-uk.zoom.us/j/93780911329?pwd=SFlJWEZud
 05lRTlGR1RkVVNjWGxEZz09
LOCATION:Zoom (Meeting ID 937 8091 1329\, passcode 001582)
END:VEVENT
END:VCALENDAR