USENIX Security '23 - A Verified Confidential Computing as a Service Framework for Privacy...
▶USENIX Security '23 - A Verified Confidential Computing as a Service Framework for Privacy... — a USENIX security conference talk on privacy (9:42 min). Watch the full video, indexed free on the Breach Arc Archive.
▶ Watch video on YouTube