Segui
Søren Eller Thomsen
Søren Eller Thomsen
Partisia
Email verificata su partisia.com - Home page
Titolo
Citata da
Citata da
Anno
Formalizing Nakamoto-Style Proof of Stake
SE Thomsen, B Spitters
2021 IEEE 34th Computer Security Foundations Symposium (CSF), 1-15, 2021
192021
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
102019
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
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–8