Søren Eller Thomsen

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