USENIX Security '22 - ppSAT: Towards Two-Party Private SAT Solving
▶USENIX Security '22 - ppSAT: Towards Two-Party Private SAT Solving — a USENIX security conference talk on crypto (13:36 min). Watch the full video, indexed free on the Breach Arc Archive.
▶ Watch video on YouTube