YoVDO

SAILFISH - Vetting Smart Contract State-Inconsistency Bugs in Seconds

Offered By: IEEE via YouTube

Tags

IEEE Symposium on Security and Privacy Courses Software Security Courses

Course Description

Overview

Explore a cutting-edge approach to detecting state-inconsistency bugs in smart contracts through this 20-minute IEEE conference talk. Delve into the innovative SAILFISH system, presented by researchers from the University of California, Santa Barbara. Learn how this tool can rapidly identify vulnerabilities in blockchain-based applications, potentially revolutionizing smart contract security. Gain insights into the methodology, implementation, and performance of SAILFISH as the speakers discuss its ability to vet contracts for critical bugs within seconds.

Syllabus

SAILFISH: Vetting Smart Contract State-Inconsistency Bugs in Seconds


Taught by

IEEE Symposium on Security and Privacy

Tags

Related Courses

Sensor Security
IEEE via YouTube
Tracking Ransomware End-to-end
IEEE via YouTube
Cinderella - Turning Shabby X.509 Certificates into Elegant Anonymous Credentials with the Magic of Verifiable Computation
IEEE via YouTube
Algorithmic Transparency via Quantitative Input Influence - Theory and Experiments with Learning Systems
IEEE via YouTube
Bitcoin Over Tor Isn't a Good Idea
IEEE via YouTube