Søren Eller Thomsen

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

Collaborative distances:

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

2022

Formalizing Delayed Adaptive Corruptions and the Security of Flooding Networks.

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

IACR Cryptol. ePrint Arch., 2022

Asymptotically Optimal Message Dissemination with Applications to Blockchains.

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

IACR Cryptol. ePrint Arch., 2022

Practical Provably Secure Flooding for Blockchains.

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

IACR Cryptol. ePrint Arch., 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

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

2020

Formalizing Nakamoto-Style Proof of Stake.

Søren Eller Thomsen, Bas Spitters

IACR Cryptol. ePrint Arch., 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