Geppetto: Versatile Verifiable Computation
▶Geppetto: Versatile Verifiable Computation — a 2015 IEEE Security & Privacy 2015 (May 18, 2015) security conference talk on crypto (16:22 min). Watch the full video, indexed free on the Breach Arc Archive.
▶ Watch video on YouTube