Verifiable ASICs
Offered By: IEEE via YouTube
Course Description
Overview
Explore the concept of verifiable ASICs in this 20-minute conference talk presented at the 2016 IEEE Symposium on Security & Privacy. Delve into the challenges of ensuring high-assurance execution in custom hardware manufacturing and discover an innovative approach using verifiable computation. Learn about the Zebra system, which implements physically realizable, area-efficient, high-throughput ASICs for prover and verifier roles. Understand how this method allows untrusted ASICs to compute proofs of correct execution, verified by trusted processors or ASICs, potentially offering performance advantages over direct execution on trusted platforms. Gain insights into the design process, including new observations about the CMT protocol, hardware design considerations, and architectural challenges addressed in the implementation.
Syllabus
Verifiable ASICs
Taught by
IEEE Symposium on Security and Privacy
Tags
Related Courses
Digital System DesignIndian Institute of Technology, Ropar via Swayam Introducción al diseño de hardware con Verilog
Galileo University via edX Hardware Modeling Using Verilog
Indian Institute of Technology, Kharagpur via Swayam Hardware Description Languages for FPGA Design
University of Colorado Boulder via Coursera FPGA Design for Embedded Systems
University of Colorado Boulder via Coursera