Daniel Britten

Publication Activity (10 Years)

Years Active: 2021-2024
Publications (10 Years): 5

Top Topics

Ubiquitous Environments

Experimental Verification

Interaction Patterns

False Acceptance Rate

Top Venues

SPLASH Companion

Publications

Vilhelm Sjöberg, Kinnari Dave, Daniel Britten, Maria A Schett, Xinyuan Sun, Qinshi Wang, Sean Noble Anderson, Steve Reeves, Zhong Shao
Foundational Verification of Smart Contracts through Verified Compilation. CoRR (2024)
Daniel Britten, Steve Reeves
A Logic for Veracity: Development and Implementation. CoRR (2024)
Daniel Britten, Vilhelm Sjöberg, Steve Reeves
Provably Correct Smart Contracts: An Approach using DeepSEA. SPLASH Companion (2022)
Daniel Britten, Steve Reeves
Modelling a Blockchain for Smart Contract Verification using DeepSEA. FTSCS (2022)
Daniel Britten, Vilhelm Sjöberg, Steve Reeves
Using Coq to Enforce the Checks-Effects-Interactions Pattern in DeepSEA Smart Contracts (Short Paper). FMBC@CAV (2021)