Zobrazeno 1 - 4
of 4
pro vyhledávání: '"Søren Eller Thomsen"'
Publikováno v:
Advances in Cryptology – CRYPTO 2022 ISBN: 9783031159787
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::f7fef80b34989d9975981ee47df73e53
https://doi.org/10.1007/978-3-031-15979-4_14
https://doi.org/10.1007/978-3-031-15979-4_14
Autor:
Søren Eller Thomsen, Bas Spitters
Publikováno v:
CSF
Thomsen, S E & Spitters, B 2021, Formalizing Nakamoto-Style Proof of Stake . in 2021 IEEE 34th Computer Security Foundations Symposium (CSF) . IEEE, 34th IEEE Computer Security Foundations Symposium, Online, United States, 21/06/2021 . https://doi.org/10.1109/CSF51468.2021.00042
Aarhus University
Thomsen, S E & Spitters, B 2020 ' Formalizing Nakamoto-Style Proof of Stake ' .
Thomsen, S E & Spitters, B 2021, Formalizing Nakamoto-Style Proof of Stake . in 2021 IEEE 34th Computer Security Foundations Symposium (CSF) . IEEE, 34th IEEE Computer Security Foundations Symposium, Online, United States, 21/06/2021 . https://doi.org/10.1109/CSF51468.2021.00042
Aarhus University
Thomsen, S E & Spitters, B 2020 ' Formalizing Nakamoto-Style Proof of Stake ' .
Fault-tolerant distributed systems move the trust in a single party to a majority of parties participating in the protocol. This makes blockchain based crypto-currencies possible: they allow parties to agree on a total order of transactions without a
Autor:
Daniel Tschudi, Søren Eller Thomsen, Simon Holmgaard Kamp, Jesper Buus Nielsen, Bernardo Magri, Christian Matt
Publikováno v:
Progress in Cryptology – LATINCRYPT 2021 ISBN: 9783030882372
LATINCRYPT
LATINCRYPT
We propose a framework for building Nakamoto-style proof-of-work blockchains where blocks are treated differently in the “longest chain rule”. The crucial parameter is a weight function assigning different weights to blocks according to their has
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::b83d9a07776253f957c9f72a7d6fc4cf
https://doi.org/10.1007/978-3-030-88238-9_15
https://doi.org/10.1007/978-3-030-88238-9_15
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783030171377
POST
POST
Safely integrating third-party code in applications while protecting the confidentiality of information is a long-standing problem. Pure functional programming languages, like Haskell, make it possible to enforce lightweight information-flow control
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::0c6a8d4d1a6c90549fee6b832b5ec3aa
https://doi.org/10.1007/978-3-030-17138-4_3
https://doi.org/10.1007/978-3-030-17138-4_3