Follow
Søren Eller Thomsen
Søren Eller Thomsen
Partisia
Verified email at partisia.com - Homepage
Title
Cited by
Cited by
Year
Formalizing Nakamoto-Style Proof of Stake
SE Thomsen, B Spitters
2021 IEEE 34th Computer Security Foundations Symposium (CSF), 1-15, 2021
152021
Formalizing delayed adaptive corruptions and the security of flooding networks
C Matt, JB Nielsen, SE Thomsen
Annual International Cryptology Conference, 400-430, 2022
142022
A Dependently Typed Library for Static Information-Flow Control in Idris
S Gregersen, SE Thomsen, A Askarov
International Conference on Principles of Security and Trust, 51-75, 2019
92019
Practical provably secure flooding for blockchains
CD Liu-Zhang, C Matt, U Maurer, G Rito, SE Thomsen
Advances in Cryptology–ASIACRYPT 2022: 28th International Conference on the …, 2023
82023
Asymptotically Optimal Message Dissemination with Applications to Blockchains
CD Liu-Zhang, C Matt, SE Thomsen
Cryptology ePrint Archive, 2022
62022
Weight-Based Nakamoto-Style Blockchains
SH Kamp, B Magri, C Matt, JB Nielsen, SE Thomsen, D Tschudi
3*2021
Enig: Player Replaceable Finality Layers with Optimal Validity
SH Kamp, JB Nielsen, SE Thomsen, D Tschudi
Cryptology ePrint Archive, 2022
12022
Message Dissemination in the Nakamoto Era
SE Thomsen
Aarhus University, 2023
2023
The system can't perform the operation now. Try again later.
Articles 1–8