Constructing Trustworthy Smart Contracts
Abstract elided by the publisher.
Related papers
- Taming callbacks for smart contract modularity OOPSLA 2020
- Formal Verification of Atomicity Requirements for Smart Contracts APLAS 2020
- A Formal Verification Framework for Tezos Smart Contracts Based on Symbolic Execution APLAS 2024
- Verifying Solidity Smart Contracts via Communication Abstraction in SmartACE VMCAI 2022
- Typing Fallback Functions: A Semantic Approach to Type Safe Smart Contracts ECOOP 2026
- Synthesis-powered optimization of smart contracts via data type refactoring OOPSLA 2022
- DepFuzz: Efficient Smart Contract Fuzzing with Function Dependence Guidance OOPSLA 2025
- Consolidating Smart Contracts with Behavioral Contracts PLDI 2024