SmartPulse - Automated Checking of Temporal Properties in Smart Contracts
Offered By: IEEE via YouTube
Course Description
Overview
Explore an innovative approach to enhancing smart contract security through automated temporal property checking in this 16-minute IEEE presentation. Delve into the SmartPulse system, which addresses the critical need for verifying time-dependent behaviors in blockchain-based applications. Learn how this tool can help developers identify and prevent potential vulnerabilities related to temporal logic, ultimately improving the reliability and safety of smart contracts in various decentralized systems.
Syllabus
SmartPulse: Automated Checking of Temporal Properties in Smart Contracts
Taught by
IEEE Symposium on Security and Privacy
Tags
Related Courses
Sensor SecurityIEEE 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