Clockwork Finance: Automated Analysis of Economic Security in Smart Contracts
Presenters detail vulnerability discovery and exploitation in Clockwork Finance: Automated Analysis of Economic Security in Smart Contracts.
Summary
No summary yet — watch the video above, or open it on YouTube.
Related talks
IEEE Symposium on Security and Privacy·20 min
Presenters detail vulnerability discovery and exploitation in SYMBEXCEL: Automated Analysis and Understanding of Malicious Excel 4.0 Macros.
symbexcelautomatedanalysi+3
IEEE Symposium on Security and Privacy·16 min
Presenters detail vulnerability discovery and exploitation in SmartPulse: Automated Checking of Temporal Properties in Smart Contracts.
smart-contractssmartpulseautomated+3
IEEE Symposium on Security and Privacy·17 min
Security researchers examine technical aspects of Automated Reverse Engineering and Privacy Analysis of Modern Cars.
privacyreverse-engineeringautomated+3