Conclusion Storage vs memory in Solidity Challenges in formalization Modeling of storage and memory in Solidity dynamic logic Ongoing Work Default rules for memory and storage High-level solidity specifications such as assert flow