Folgen
Søren Eller Thomsen
Søren Eller Thomsen
Partisia
Bestätigte E-Mail-Adresse bei partisia.com - Startseite
Titel
Zitiert von
Zitiert von
Jahr
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
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–8