Søren Eller Thomsen
Søren Eller Thomsen
Verified email at cs.au.dk - Homepage
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
32019
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–3