Søren Eller Thomsen
Table of Contents
About Me
I am a Cryptographic Engineer at Partisia. 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
E-mail: soren.eller.thomsen@partisia.com
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
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
- I was a teaching assistant for the Distributed Systems and Security course at Aarhus University by Jesper Buus Nielsen, Ivan Damgård and Claudio Orlandi (fall 2019, 2020, and 2021).
- I was a teaching assistant for the Optimization course at Aarhus University by Kristoffer Arnsfeldt (spring 2018).
- I was a teaching assistant for the Compilation course at Aarhus Univeristy by Aslan Askarov (fall 2017).
Misc.
- From March to July 2022, I was visiting Vassilis Zikas at Purdue University in Indiana.
- From November 2019 to December 2021, I was organizer of a seminar series about blockchains held at COBRA.
- I was a participant of Oregon Programming Languages Summer School: Foundations of Probabilistic Programming and Security, Eugene, Oregon, June 17-29, 2019.
- I was a participant of IIAS: The 3rd Winter School in Computer Science and Engineering on Blockchains and Cryptocurrencies, Jerusalem, Israel, December 16-21, 2018.