Søren Eller Thomsen
Table of Contents
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
E-mail: sethomsen@cs.au.dk
Office: Nygaard 280, Aabogade 34, DK-8200 Aarhus N
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].
Activities
- 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.
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).