Overview
Syllabus
Intro
Prologue
Sharing Information w/ Privacy
Secure Computation (2PC)
Security in Secure Computation
Adversaries
Formalize/Prove Security (HbC)
How to Implement 2PC?
Privacy-Preserving Information Sharing with 2PC?
Private Set Intersection (PSI)
Private Set Intersection?
Straightforward PSI
Background: Pseudorandom Functions
Oblivious PRF
OPRF-based PSI
PSI w/ Data Transfer (PSI-DT) Server
A closer look at PSI
Authorized Private Set Intersection (APSI)
OPRF w/ Implicit Signature Verification
A simple OPRF-like with ISV
OPRF with ISV - Malicious Security
Set Size in PSI
SHI-PSI: The Building Blocks
Other Building Blocks
Collaborative Anomaly Detection
Taught by
Alan Turing Institute