Søren Eller Thomsen

Table of Contents

portrait.jpg

About Me

I am a Cryptography Engineer at the Alexandra Institute. Previously, I completed my PhD in computer science supervised by Jesper Buus Nielsen at Aarhus University, where I also did my undergraduate.

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

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

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].

PhD Thesis

Message Dissemination in the Nakamoto Era
Søren Eller Thomsen.
Aarhus University, January 2023.
Supervised by professor Jesper Buus Nielsen.
Assessed by professor Juan Garay and professor Julian Loss.
[PDF]

Activities

Talks

  • In March 2023, I successfully defended my dissertation at Aarhus University.
  • In December 2022, I presented the work Practical Provably Secure Flooding for Blockchains at ASIACRYPT in Taipei, Taiwan.
  • In August 2022, I presented the work Formalizing Delayed Adaptive Corruptions and the Security of Flooding Networks at CRYPTO in Santa Barbara, California.
  • In October 2021, I presented the work Weight-Based Nakamoto-Style Blockchains at LATINCRYPT (online).
  • In July 2021, I gave an extended presentation of Formalizing Nakamoto-Style Proof of Stake at an IOHK seminar (online).
  • In June 2021, I presented the work Formalizing Nakamoto-Style Proof of Stake at CSF (online).

Teaching

Misc.

Author: Søren Eller Thomsen

Created: 2023-03-16 Thu 07:58