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 ...

Daniel Britten has 2 co-authors in Research Commons.