Volgen
Søren Eller Thomsen
Søren Eller Thomsen
Geverifieerd e-mailadres voor cs.au.dk - Homepage
Titel
Geciteerd door
Geciteerd door
Jaar
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
62019
Formalizing Nakamoto-Style Proof of Stake
SE Thomsen, B Spitters
2021 IEEE 34th Computer Security Foundations Symposium (CSF), 1-15, 2021
42021
Formalizing Delayed Adaptive Corruptions and the Security of Flooding Networks
C Matt, JB Nielsen, SE Thomsen
Cryptology ePrint Archive, 2022
32022
Weight-Based Nakamoto-Style Blockchains
SH Kamp, B Magri, C Matt, JB Nielsen, SE Thomsen, D Tschudi
1*2021
Practical Provably Secure Flooding for Blockchains
CD Liu-Zhang, C Matt, U Maurer, G Rito, SE Thomsen
Cryptology ePrint Archive, 2022
2022
Enig: Player Replaceable Finality Layers with Optimal Validity
SH Kamp, JB Nielsen, SE Thomsen, D Tschudi
Cryptology ePrint Archive, 2022
2022
WIP: Formalizing the Concordium consensus protocol in Coq
T Dinsdale-Young, B Spitters, SE Thomsen, D Tschudi
2019
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–7