BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Applications of proofs to network security - Joseph Bonneau\, New 
 York University
DTSTART:20240423T130000Z
DTEND:20240423T140000Z
UID:TALK211723@talks.cam.ac.uk
CONTACT:Hridoy Sankar Dutta
DESCRIPTION: Blockchains have motivated a surge of research and developmen
 t into succinct probabilistic proofs. As proof constructions have gotten d
 ramatically more efficient\, entirely new applications have become feasibl
 e in other areas as well. This talk will discuss two proposed applications
  in the area of network security. First\, zero-knowledge middleboxes (ZKMB
 s)\, which enable network users to prove that their packets comply with a 
 network usage policy (e.g. a domain blocklist) without revealing their act
 ual data to the middlebox. Second\, replacing certificate authorities (CAs
 ) with proofs in a new protocol called DOVE\, removing the massive trust p
 laced in the current CA ecosystem.\n\nhttps://cam-ac-uk.zoom.us/j/82992103
 686?pwd=bys5cVNzQjNKdlI1SHUyMWZFeWlSZz09\n\nMeeting ID: 829 9210 3686\nPas
 scode: 357389
LOCATION:Webinar &amp\; LT2\, Computer Laboratory\, William Gates Building
 .
END:VEVENT
END:VCALENDAR