Publications

• Sorensen, D. Towards Formally Specifying and Verifying Smart Contract Upgrades in Coq. FMBC 2024. [preprint]
• Sorensen, D. (In)Correct Smart Contract Specifications. ICBC 2024. [preprint]
• Jaffer, S., Dales, M., Ferris, P., Sorensen, D., Swinfield, T., Message, R., Keshav, S., and Madhavapeddy, A. Global, robust and comparable digital carbon assets. ICBC 2024. [poster]
• Sorensen, D. Tokenized Carbon Credits. Ledger, 2023.
• Sorensen, D. Structured Pools for Tokenized Carbon Credits. ICBC CryptoEx 2023.
• Butt, K., Sorensen, D. Streamlining Classical Consensus. (2019) International Journal of Blockchains and Cryptocurrencies. Vol. 1, No. 4.
• Sorensen, D. Establishing Standards for Consensus on Blockchains. (2019) ICBC 2019.
• A. Francis, D. Smith, D. Sorensen and B. Webb, Extensions and applications of equitable decompositions for graphs with symmetries. Linear Algebra and its Applications 532 (2017), 432-462.

Unpublished

• Butt, K., Sorensen, D., Stay, M. Casanova. (2018) arxiv.1812.02232
• Maric, O., Lochbihler, A., Sorensen, D. CantonCoin: Gaining Horizontal Scalability and Privacy with Distributed Commits Instead of Global Consensus. (2019)