Browsing by Author "Britten, Daniel"
Now showing items 1-1 of 1
-
Using Coq to Enforce the Checks-Effects-Interactions Pattern in DeepSEA Smart Contracts
Britten, Daniel; Sjöberg, Vilhelm; Reeves, Steve (2021)Using the DeepSEA system for smart contract proofs, this paper investigates how to use the Coq theorem prover to enforce that smart contracts follow the Checks-Effects-Interactions Pattern. This pattern is widely understood ...
Co-authors for Daniel Britten
Daniel Britten has 2 co-authors in Research Commons.