Casanova. - Kyle Butt; Derek Sorensen; Michael Stay (CoRR, 2018)

Establishing Standards for Consensus on Blockchains. - Derek Sorensen (ICBC, 2019)

Structured Pools for Tokenized Carbon Credits. - Derek Sorensen (ICBC, 2023)

Towards Formally Specifying and Verifying Smart Contract Upgrades in Coq. - Derek Sorensen (FMBC@CAV, 2024)

Global, robust and comparable digital carbon assets. - Sadiq Jaffer; Michael W. Dales; Patrick Ferris; Derek Sorensen; Thomas Swinfield; Robin Message; Srinivasan Keshav; Anil Madhavapeddy (ICBC, 2024)

(In)Correct Smart Contract Specifications. - Derek Sorensen (ICBC, 2024)

FinCert. - Derek Sorensen (DROPS Artifacts, 2024)

Formally Specifying Contract Optimizations with Bisimulations in Coq. - Derek Sorensen (FMBC, 2025)

FinCert. - Derek Sorensen (DROPS Artifacts, 2025)