Daniel Britten

According to our database, Daniel Britten authored at least 3 papers between 2021 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

Provably Correct Smart Contracts: An Approach using DeepSEA.

Daniel Britten, Vilhelm Sjöberg, Steve Reeves

Proceedings of the Companion Proceedings of the 2022 ACM SIGPLAN International Conference on Systems, 2022

Modelling a Blockchain for Smart Contract Verification using DeepSEA.

Daniel Britten, Steve Reeves

Proceedings of the 8th ACM SIGPLAN International Workshop on Formal Techniques for Safety-Critical Systems, 2022

2021

Using Coq to Enforce the Checks-Effects-Interactions Pattern in DeepSEA Smart Contracts (Short Paper).

Daniel Britten, Vilhelm Sjöberg, Steve Reeves

Proceedings of the 3rd International Workshop on Formal Methods for Blockchains, 2021