VeriSmart: A Highly Precise Safety Verifier for Ethereum Smart Contracts
Presenters detail vulnerability discovery and exploitation in VeriSmart: A Highly Precise Safety Verifier for Ethereum Smart Contracts.
Summary
No summary yet — watch the video above, or open it on YouTube.
Related talks
IEEE Symposium on Security and Privacy·15 min
Analysts investigate attack surfaces and defenses concerning VerX: Safety Verification of Smart Contracts.
safetysmart-contractsverx+3
Hack In The Box Security Conference·48 min
Bernhard Mueller
Bernhard Mueller details #HITB2018AMS D1T2 - Smashing Ethereum Smart Contracts for Fun and ACTUAL Profit.
ethereumsmart-contractshitb2018am+3
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