Søren Eller Thomsen

Table of Contents

portrait.jpg

About Me

I am a Ph.D. student in the Cryptography and Security group at the Department of Computer Science, Aarhus University, where I am supervised by Jesper Buus Nielsen.

My research interests include (but are not limited to):

  • Peer-to-peer networks.
  • Consensus protocols.
  • Security models.

I am handing in my thesis in January 2023.

Contact

Manuscripts and Publications

Peer-to-peer Networks

  • Asymptotically Optimal Message Dissemination with Applications to Blockchains
    Chen-Da Liu-Zhang, Christian Matt, and Søren Eller Thomsen. 2022.
    [PDF][BibTeX]
  • Practical Provably Secure Flooding for Blockchains
    Chen-Da Liu-Zhang, Christian Matt, Ueli Maurer, Guilherme Rito, and Søren Eller Thomsen.
    Advances in Cryptology - ASIACRYPT 2022.
    [PDF][BibTeX][Slides][GitHub][Trailer][Video]
  • Formalizing Delayed Adaptive Corruptions and the Security of Flooding Networks
    Christian Matt, Jesper Buus Nielsen, and Søren Eller Thomsen.
    Advances in Cryptology - CRYPTO 2022.
    [PDF][BibTeX][Slides][Trailer][Video]

Consensus

  • Enig: Player Replaceable Finality Layers with Optimal Validity
    Simon Holmgaard Kamp, Jesper Buus Nielsen, Søren Eller Thomsen, and Daniel Tschudi. 2022.
    [PDF][BibTeX]
  • Weight-Based Nakamoto-Style Blockchains
    Simon Holmgaard Kamp, Bernardo Magri, Christian Matt, Jesper Buus Nielsen, Søren Eller Thomsen, and Daniel Tschudi.
    Progress in Cryptology - LATINCRYPT 2021.
    [PDF][BibTeX][Slides][Trailer][Video].
  • Formalizing Nakamoto-Style Proof of Stake
    Søren Eller Thomsen and Bas Spitters.
    IEEE 34th Computer Security Foundations Symposium (CSF), 2021.
    [PDF][BibTeX][Slides][GitHub][Video].

Misc.

  • A Dependently Typed Library for Static Information-Flow Control in Idris Simon Gregersen, Søren Eller Thomsen, and Aslan Askarov.
    Principles of Security and Trust (POST), 2019.
    [PDF][BibTeX][GitHub].

Activities

Teaching

Author: Søren Eller Thomsen

Created: 2023-01-28 Sat 09:33