Søren Eller Thomsen

Publication Activity (10 Years)

Years Active: 2019-2024
Publications (10 Years): 14

Top Topics

Weight Function

Blind Signature

Top Venues

IACR Cryptol. ePrint Arch.

Publications

Chen-Da Liu-Zhang, Christian Matt, Søren Eller Thomsen
Asymptotically Optimal Message Dissemination with Applications to Blockchains. EUROCRYPT (3) (2024)
Chen-Da Liu-Zhang, Christian Matt, Søren Eller Thomsen
Asymptotically Optimal Message Dissemination with Applications to Blockchains. IACR Cryptol. ePrint Arch. 2022 (2022)
Chen-Da Liu-Zhang, Christian Matt, Ueli Maurer, Guilherme Rito, Søren Eller Thomsen
Practical Provably Secure Flooding for Blockchains. ASIACRYPT (1) (2022)
Christian Matt, Jesper Buus Nielsen, Søren Eller Thomsen
Formalizing Delayed Adaptive Corruptions and the Security of Flooding Networks. CRYPTO (2) (2022)
Christian Matt, Jesper Buus Nielsen, Søren Eller Thomsen
Formalizing Delayed Adaptive Corruptions and the Security of Flooding Networks. IACR Cryptol. ePrint Arch. 2022 (2022)
Chen-Da Liu-Zhang, Christian Matt, Ueli Maurer, Guilherme Rito, Søren Eller Thomsen
Practical Provably Secure Flooding for Blockchains. IACR Cryptol. ePrint Arch. 2022 (2022)
Simon Holmgaard Kamp, Jesper Buus Nielsen, Søren Eller Thomsen, Daniel Tschudi
Enig: Player Replaceable Finality Layers with Optimal Validity. IACR Cryptol. ePrint Arch. 2022 (2022)
Søren Eller Thomsen, Bas Spitters
Formalizing Nakamoto-Style Proof of Stake. CSF (2021)
Simon Holmgaard Kamp, Bernardo Magri, Christian Matt, Jesper Buus Nielsen, Søren Eller Thomsen, Daniel Tschudi
Weight-Based Nakamoto-Style Blockchains. LATINCRYPT (2021)
Søren Eller Thomsen, Bas Spitters
Formalizing Nakamoto-Style Proof of Stake. IACR Cryptol. ePrint Arch. 2020 (2020)
Søren Eller Thomsen, Bas Spitters
Formalizing Nakamoto-Style Proof of Stake. CoRR (2020)
Simon Holmgaard Kamp, Bernardo Magri, Christian Matt, Jesper Buus Nielsen, Søren Eller Thomsen, Daniel Tschudi
Leveraging Weight Functions for Optimistic Responsiveness in Blockchains. IACR Cryptol. ePrint Arch. 2020 (2020)
Simon Oddershede Gregersen, Søren Eller Thomsen, Aslan Askarov
A Dependently Typed Library for Static Information-Flow Control in Idris. POST (2019)
Simon Oddershede Gregersen, Søren Eller Thomsen, Aslan Askarov
A Dependently Typed Library for Static Information-Flow Control in Idris. CoRR (2019)