Derek Sorensen

Publication Activity (10 Years)

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

Top Topics

International Standards

Structured Learning

Top Venues

Publications

Sadiq Jaffer, Michael Dales, Patrick Ferris, Thomas Swinfield, Derek Sorensen, Robin Message, Anil Madhavapeddy, Srinivasan Keshav
Global, robust and comparable digital carbon assets. CoRR (2024)
Derek Sorensen
Towards Formally Specifying and Verifying Smart Contract Upgrades in Coq. FMBC@CAV (2024)
Derek Sorensen
Structured Pools for Tokenized Carbon Credits. ICBC (2023)
Derek Sorensen
Establishing Standards for Consensus on Blockchains. ICBC (2019)
Kyle Butt, Derek Sorensen, Michael Stay
Casanova. CoRR (2018)