Søren Eller Thomsen

According to our database, Søren Eller Thomsen authored at least 9 papers between 2019 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Optimistic Message Dissemination.

Chen-Da Liu-Zhang, Christian Matt, Søren Eller Thomsen

Proceedings of the 7th Conference on Advances in Financial Technologies, 2025

2024

Asymptotically Optimal Message Dissemination with Applications to Blockchains.

Chen-Da Liu-Zhang, Christian Matt, Søren Eller Thomsen

Proceedings of the Advances in Cryptology - EUROCRYPT 2024, 2024

2022

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

Formalizing Delayed Adaptive Corruptions and the Security of Flooding Networks.

Christian Matt, Jesper Buus Nielsen, Søren Eller Thomsen

Proceedings of the Advances in Cryptology - CRYPTO 2022, 2022

Practical Provably Secure Flooding for Blockchains.

Chen-Da Liu-Zhang, Christian Matt, Ueli Maurer, Guilherme Rito, Søren Eller Thomsen

Proceedings of the Advances in Cryptology - ASIACRYPT 2022, 2022

2021

Weight-Based Nakamoto-Style Blockchains.

Simon Holmgaard Kamp, Bernardo Magri, Christian Matt, Jesper Buus Nielsen, Søren Eller Thomsen, Daniel Tschudi

Proceedings of the Progress in Cryptology - LATINCRYPT 2021, 2021

Formalizing Nakamoto-Style Proof of Stake.

Søren Eller Thomsen, Bas Spitters

Proceedings of the 34th IEEE Computer Security Foundations Symposium, 2021

2020

Leveraging Weight Functions for Optimistic Responsiveness in Blockchains.

Simon Holmgaard Kamp, Bernardo Magri, Christian Matt, Jesper Buus Nielsen, Søren Eller Thomsen, Daniel Tschudi

IACR Cryptol. ePrint Arch., 2020

2019

A Dependently Typed Library for Static Information-Flow Control in Idris.

Simon Oddershede Gregersen, Søren Eller Thomsen, Aslan Askarov

Proceedings of the Principles of Security and Trust - 8th International Conference, 2019