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]
- 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.
Talks
- (In)Correct Smart Contract Specifications. ICBC, May 2024, Dublin.
- Towards Formally Specifying and Verifying Smart Contract Upgrades in Coq. FMBC, April 2024, Luxembourg.
- Abstraction, Specification, and Proof. Undone Science, February 2024, Nantes, FR.
- Structured Pools for Tokenized Carbon Credits. ICBC 2024, Dubai.
- Establishing Standards for Consensus on Blockchains. ICBC 2019, San Diego.
- K framework and type theory. RCon, May 2019, Berlin.
Unpublished Papers
- 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)
Notes (mostly Algebraic Topology)