Verifiable ASICs
Industry experts analyze emerging threats surrounding Verifiable ASICs.
Summary
No summary yet — watch the video above, or open it on YouTube.
Related talks
IEEE Symposium on Security and Privacy·17 min
Industry experts analyze emerging threats surrounding Multi-Server Verifiable Computation of Low-Degree Polynomials.
multi-serververifiablecomputation+3
IEEE Symposium on Security and Privacy·15 min
Security researchers examine technical aspects of Did you mix me? Formally Verifying Verifiable Mix Nets in Electronic Voting.
formallyverifyingverifiable+3
IEEE Symposium on Security and Privacy·20 min
Program-Independent Preprocessing
Industry experts analyze emerging threats surrounding vRAM: Faster Verifiable RAM With Program-Independent Preprocessing.
vramfasterverifiable+2