A Dependently Typed Library for Static Information-Flow Control in Idris. - Simon Oddershede Gregersen; Søren Eller Thomsen; Aslan Askarov (POST, 2019)

Leveraging Weight Functions for Optimistic Responsiveness in Blockchains. - Simon Holmgaard Kamp; Bernardo Magri; Christian Matt 002; Jesper Buus Nielsen; Søren Eller Thomsen; Daniel Tschudi (IACR Cryptol. ePrint Arch., 2020)

Formalizing Nakamoto-Style Proof of Stake. - Søren Eller Thomsen; Bas Spitters (IACR Cryptol. ePrint Arch., 2020)

Weight-Based Nakamoto-Style Blockchains. - Simon Holmgaard Kamp; Bernardo Magri; Christian Matt 002; Jesper Buus Nielsen; Søren Eller Thomsen; Daniel Tschudi (LATINCRYPT, 2021)

Enig: Player Replaceable Finality Layers with Optimal Validity. - Simon Holmgaard Kamp; Jesper Buus Nielsen; Søren Eller Thomsen; Daniel Tschudi (IACR Cryptol. ePrint Arch., 2022)

Practical Provably Secure Flooding for Blockchains. - Chen-Da Liu-Zhang; Christian Matt 002; Ueli Maurer; Guilherme Rito; Søren Eller Thomsen (IACR Cryptol. ePrint Arch., 2022)

Asymptotically Optimal Message Dissemination with Applications to Blockchains. - Chen-Da Liu-Zhang; Christian Matt 002; Søren Eller Thomsen (IACR Cryptol. ePrint Arch., 2022)

Formalizing Delayed Adaptive Corruptions and the Security of Flooding Networks. - Christian Matt 002; Jesper Buus Nielsen; Søren Eller Thomsen (IACR Cryptol. ePrint Arch., 2022)

Optimistic Message Dissemination. - Chen-Da Liu-Zhang; Christian Matt 002; Søren Eller Thomsen (IACR Cryptol. ePrint Arch., 2025)