Søren Eller Thomsen
Table of Contents
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
E-mail: sethomsen@cs.au.dk
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.