SmartPulse: Automated Checking of Temporal Properties in Smart Contracts
Presenters detail vulnerability discovery and exploitation in SmartPulse: Automated Checking of Temporal Properties in Smart Contracts.
Summary
No summary yet — watch the video above, or open it on YouTube.
Related talks
IEEE Symposium on Security and Privacy·12 min
Presenters detail vulnerability discovery and exploitation in Clockwork Finance: Automated Analysis of Economic Security in Smart Contracts.
smart-contractsclockworkfinance+2
IEEE Symposium on Security and Privacy·16 min
Engineers explore architecture and security mechanisms for SNAP: Efficient Extraction of Private Properties with Poisoning.
snapefficientextraction+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