Följ
Søren Eller Thomsen
Søren Eller Thomsen
Partisia
Verifierad e-postadress på partisia.com - Startsida
Titel
Citeras av
Citeras av
År
Formalizing Nakamoto-Style Proof of Stake
SE Thomsen, B Spitters
2021 IEEE 34th Computer Security Foundations Symposium (CSF), 1-15, 2021
182021
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
Annual International Conference on the Theory and Applications of …, 2024
62024
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
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–8