Coursera Flash Sale
40% Off Coursera Plus for 3 Months!
Grab it
Learn about Effectively Callback Free (ECF) objects and their critical role in secure programming through this 25-minute conference presentation from POPL 2018. Explore how callbacks, while essential in many programming environments, can compromise modularity and security by allowing external objects to unexpectedly modify local states. Examine the DAO cryptocurrency hack that exploited callbacks to steal $150M, and discover how ECF objects enable safer callback implementation without sacrificing modular reasoning. Understand the technical aspects of ECF verification, including dynamic and static checking methods, particularly in Ethereum smart contracts. See how researchers verified that most existing Ethereum contract executions are ECF, except for known vulnerable contracts like the DAO. Presented by researchers from Tel Aviv University, VMware, and Stanford University, this talk provides valuable insights for developers working with smart contracts and callback-heavy systems.
