Using Coq to Enforce the Checks-Effects-Interactions Pattern in DeepSEA Smart Contracts (Short Paper). - Daniel Britten; Vilhelm Sjöberg; Steve Reeves (FMBC@CAV, 2021)

Modelling a Blockchain for Smart Contract Verification using DeepSEA. - Daniel Britten; Steve Reeves (FTSCS, 2022)

Provably Correct Smart Contracts: An Approach using DeepSEA. - Daniel Britten; Vilhelm Sjöberg; Steve Reeves (SPLASH Companion, 2022)

Foundational Verification of Smart Contracts through Verified Compilation. - Vilhelm Sjöberg; Kinnari Dave; Daniel Britten; Maria A Schett; Xinyuan Sun; Qinshi Wang; Sean Noble Anderson; Steve Reeves; Zhong Shao 001 (CoRR, 2024)

A Logic for Veracity: Development and Implementation. - Daniel Britten; Steve Reeves (CoRR, 2024)