Søren Eller Thomsen

2019202020212 1 1

Simon Oddershede GregersenPhD student, Aarhus UniversityVerified email at cs.au.dk
Aslan AskarovAssociate Professor at Aarhus UniversityVerified email at cs.au.dk
Daniel TschudiAarhus UniversityVerified email at cs.au.dk
Bas SpittersAssociate Professor, Aarhus UniversityVerified email at cs.au.dk
Bernardo MagriAarhus University, DenmarkVerified email at cs.au.dk
Christian MattConcordiumVerified email at concordium.com
Jesper Buus NielsenProfessor of Computer Science, Aarhus UniversityVerified email at cs.au.dk
Thomas Dinsdale-YoungAarhus UniversityVerified email at d-y.me.uk

Søren Eller Thomsen

Verified email at cs.au.dk - Homepage


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
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	4	2019
Formalizing Nakamoto-Style Proof of Stake SE Thomsen, B Spitters arXiv preprint arXiv:2007.12105, 2020		2020
Leveraging Weight Functions for Optimistic Responsiveness in Blockchains. SH Kamp, B Magri, C Matt, JB Nielsen, SE Thomsen, D Tschudi IACR Cryptol. ePrint Arch. 2020, 328, 2020		2020
WIP: Formalizing the Concordium consensus protocol in Coq T Dinsdale-Young, B Spitters, SE Thomsen, D Tschudi		2019

The system can't perform the operation now. Try again later.

Articles 1–4

Citations per year