( en | de | ru )

 

Disambiguation of "Thomsen, Søren Eller"

Author of the publication

copydeleteadd this publication to your clipboard
A Dependently Typed Library for Static Information-Flow Control in Idris.

, , and . POST, volume 11426 of Lecture Notes in Computer Science, page 51-75. Springer, (2019)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Sören Meyer-Eller

Carl-Fredrik Sørensen

Pernille Sørensen

Jørgen Skov Sørensen

Søren Jepsen

 

Other publications of authors with the same name

Formalizing Delayed Adaptive Corruptions and the Security of Flooding Networks., , and . CRYPTO (2), volume 13508 of Lecture Notes in Computer Science, page 400-430. Springer, (2022)Practical Provably Secure Flooding for Blockchains., , , , and . ASIACRYPT (1), volume 13791 of Lecture Notes in Computer Science, page 774-805. Springer, (2022)Weight-Based Nakamoto-Style Blockchains., , , , , and . LATINCRYPT, volume 12912 of Lecture Notes in Computer Science, page 299-319. Springer, (2021)A Dependently Typed Library for Static Information-Flow Control in Idris., , and . POST, volume 11426 of Lecture Notes in Computer Science, page 51-75. Springer, (2019)Formalizing Nakamoto-Style Proof of Stake., and . CSF, page 1-15. IEEE, (2021)Formalizing Nakamoto-Style Proof of Stake., and . CoRR, (2020)Asymptotically Optimal Message Dissemination with Applications to Blockchains., , and . IACR Cryptol. ePrint Arch., (2022)Enig: Player Replaceable Finality Layers with Optimal Validity., , , and . IACR Cryptol. ePrint Arch., (2022)Leveraging Weight Functions for Optimistic Responsiveness in Blockchains., , , , , and . IACR Cryptology ePrint Archive, (2020)