Semantic Understanding of Smart Contracts: Executable Operational Semantics of Solidity
Presenters detail vulnerability discovery and exploitation in Semantic Understanding of Smart Contracts: Executable Operational Semantics of Solidity.
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·11 min
Presenters detail vulnerability discovery and exploitation in SGUARD: Smart Contracts Made Vulnerability-Free.
smart-contractssguardsmart+2
IEEE Symposium on Security and Privacy·15 min
Analysts investigate attack surfaces and defenses concerning VerX: Safety Verification of Smart Contracts.
safetysmart-contractsverx+3