USENIX Security '21 - ObliCheck: Efficient Verification of Oblivious Algorithms with Unobservable
▶USENIX Security '21 - ObliCheck: Efficient Verification of Oblivious Algorithms with Unobservable — a USENIX security conference talk on crypto (12:16 min). Watch the full video, indexed free on the Breach Arc Archive.
▶ Watch video on YouTube