关注
Søren Eller Thomsen
Søren Eller Thomsen
Partisia
在 partisia.com 的电子邮件经过验证 - 首页
标题
引用次数
引用次数
年份
Formalizing Nakamoto-Style Proof of Stake
SE Thomsen, B Spitters
2021 IEEE 34th Computer Security Foundations Symposium (CSF), 1-15, 2021
222021
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
系统目前无法执行此操作,请稍后再试。
文章 1–8