"Many-out-of-Many" Proofs and Applications to Anonymous Zether
Presenters detail vulnerability discovery and exploitation in "Many-out-of-Many" Proofs and Applications to Anonymous Zether.
Summary
No summary yet — watch the video above, or open it on YouTube.
Related talks
IEEE Symposium on Security and Privacy·14 min
Industry experts analyze emerging threats surrounding Less Is More: Refinement Proofs for Probabilistic Proofs.
lesrefinementproof+2
IEEE Symposium on Security and Privacy·15 min
Engineers explore architecture and security mechanisms for LazyTAP: On-Demand Data Minimization for Trigger-Action Applications.
lazytapon-demandminimization+2
IEEE Symposium on Security and Privacy·19 min
Security researchers examine technical aspects of CirC: Compiler infrastructure for proof systems, software verification, and more.
infrastructurecirccompiler+2