4 citations · 4 across the 1 of their papers we have counts for
2 papers
cs.CR2020
Formalizing Nakamoto-Style Proof of Stake
Søren Eller Thomsen, Bas Spitters
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:…
cs.PL2019★ 4 cited
A Dependently Typed Library for Static Information-Flow Control in Idris
Simon Gregersen, Søren Eller Thomsen, Aslan Askarov
Safely integrating third-party code in applications while protecting the confidentiality of information is a long-standing problem. Pure functional programming languages, like Hask…