Formalizing Nakamoto-Style Proof of Stake SE Thomsen, B Spitters 2021 IEEE 34th Computer Security Foundations Symposium (CSF), 1-15, 2021 | 22 | 2021 |
Formalizing delayed adaptive corruptions and the security of flooding networks C Matt, JB Nielsen, SE Thomsen Annual International Cryptology Conference, 400-430, 2022 | 14 | 2022 |
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 | 10 | 2019 |
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 | 8 | 2023 |
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 | 6 | 2024 |
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 | 1 | 2022 |
Message Dissemination in the Nakamoto Era SE Thomsen Aarhus University, 2023 | | 2023 |