Coursera Flash Sale
40% Off Coursera Plus for 3 Months!
Grab it
Learn about the Asp system for creating secure smart contracts in this 30-minute presentation from VMCAI 2025 conference. Devora Chait-Roth and Kedar Namjoshi introduce their three-component system designed to ease the construction of provably secure contracts for Web3 applications. Discover how Asp's programming language semantics guarantee freedom from common vulnerabilities like arithmetic overflow and reentrancy, while its defensive compiler enforces these semantics and translates to Solidity. The presentation explains how deductive proofs establish functional correctness and protect against critical vulnerabilities such as unauthorized access, offering valuable insights for developers working with cryptocurrency-based smart contracts. This ACM SIGPLAN-sponsored talk is part of the VMCAI conference taking place January 20-21, 2025.
