SAILFISH: Vetting Smart Contract State-Inconsistency Bugs in Seconds
Engineers explore architecture and security mechanisms for SAILFISH: Vetting Smart Contract State-Inconsistency Bugs in Seconds.
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
IEEE Symposium on Security and Privacy·15 min
Analysts investigate attack surfaces and defenses concerning VerX: Safety Verification of Smart Contracts.
safetysmart-contractsverx+3
Black Hat·51 min
Presenters detail vulnerability discovery and exploitation in A Deal with the Devil: Breaking Smart Contracts.
smart-contractsdealdevil+3