VerX: Safety Verification of Smart Contracts
Analysts investigate attack surfaces and defenses concerning VerX: Safety Verification of Smart Contracts.
Summary
No summary yet — watch the video above, or open it on YouTube.
Related talks
IEEE Symposium on Security and Privacy·19 min
Analysts investigate attack surfaces and defenses concerning ZeeStar: Private Smart Contracts by Homomorphic Encryption and Zero-knowledge Proofs.
encryptionsmart-contractszeestar+3
Black Hat·51 min
Presenters detail vulnerability discovery and exploitation in A Deal with the Devil: Breaking Smart Contracts.
smart-contractsdealdevil+3
PROIDEA Events·51 min
Industry experts analyze emerging threats surrounding CONFidence 2018: Outsmarting smart contracts (Damian Rusinek).
smart-contractsconfidenceoutsmarting+2