Browsing by Author "Britten, Daniel"
Now showing items 1-3 of 3
-
Modelling a blockchain for smart contract verification using DeepSEA
Britten, Daniel; Reeves, Steve (Association for Computing Machinery, 2022)To create trustworthy programs, the 'gold standard' is specifications at a high-enough level to clearly correspond to the informal specifications, and also a refinement proof linking these high-level specifications down ... -
Provably correct smart contracts: An approach using DeepSEA
Britten, Daniel; Sjöberg, Vilhelm; Reeves, Steve (Association for Computing Machinery, 2022)It is possible to download a piece of software over the internet and then verify its correctness locally using an appropriate trusted proof system. However, on a blockchain like Ethereum, smart contracts cannot be altered ... -
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.