BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Memento EPFL//
BEGIN:VEVENT
SUMMARY:Capsule: A Protocol for Secure Collaborative Document Editing
DTSTART:20180907T101500
DTSTAMP:20260407T131826Z
UID:fa812ba51599bbe5c9e2088b9db667306b56bb3a8caba624b2e9de64
CATEGORIES:Conferences - Seminars
DESCRIPTION:Nadim Kobeissi\nToday's global society strongly relies on coll
 aborative document editing\, which plays an increasingly large role in sen
 sitive workflows. While other collaborative venues\, such as secure messag
 ing\, have seen secure protocols being standardized and widely implemented
 \, the same cannot be said for collaborative document editing. Popular too
 ls such as Google Docs\, Microsoft Office365 and Etherpad are used to coll
 aboratively write reports and other documents which are frequently sensiti
 ve and confidential\, in spite of the server having the ability to read an
 d modify text undetected.\nCapsule is the first formalized and formally ve
 rified protocol standard that addresses secure collaborative document edit
 ing. Capsule provides confidentiality and integrity on encrypted document 
 data\, while also guaranteeing the ephemeral identity of collaborators and
  preventing the server from adding new collaborators to the document. Caps
 ule also\, to an extent\, prevents the server from serving different versi
 ons of the document being collaborated on.\nThis talk will introduce the C
 apsule protocol. We will also go over the formal verification results of C
 apsule in the symbolic model. We then give an overview of the software imp
 lementation of Capsule\, which includes a novel formally verified signing 
 primitive implementation.\n\nNadim Kobeissi is a researcher in applied cry
 ptography more specifically and computer security more generally. He is an
  adjunct professor at NYU Paris and direct Symbolic Software\, an applied 
 cryptography consulting and software firm. He is slated to defend his Ph.D
 . thesis (completed at INRIA's PROSECCO lab and accredited by ENS Paris) i
 n Fall 2018.\n 
LOCATION:BC 420 https://plan.epfl.ch/?room==BC%20420
STATUS:CONFIRMED
END:VEVENT
END:VCALENDAR