Daniel Britten

According to our database, Daniel Britten authored at least 5 papers between 2021 and 2024.

Collaborative distances:

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

2024

A Logic for Veracity: Development and Implementation.

Daniel Britten, Steve Reeves

CoRR, 2024

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

CoRR, 2024

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