Browsing NTNU Open by Author "Haines, Thomas"
Now showing items 1-4 of 4
-
Bitcoin Unchained
Boyd, Colin Alexander; Carr, Christopher; Boyen, Xavier; Haines, Thomas (Journal article, 2017)Bitcoin’s distributed ledger is an innovative way of solving the double spending problem in a decentralised system. However, it causes incompressible transaction delays and incentivises consolidation of mining power. We ... -
Coercion Mitigation for Voting Systems with Trackers: A Selene Case Study
Gjøsteen, Kristian; Haines, Thomas; Solberg, Morten Rotvold (Chapter, 2023) -
Key recovery: Inert and public
Boyd, Colin Alexander; Boyen, Xavier; Carr, Christopher; Haines, Thomas (Journal article; Peer reviewed, 2017)We propose a public key infrastructure framework, inspired by modern distributed cryptocurrencies, that allows for tunable key escrow, where the availability of key escrow is only provided under strict conditions and ... -
Machine-Checked Proofs of Privacy Against Malicious Boards for Selene & Co
Drăgan, Constantin Cătălin; Dupressoir, François; Estaji, Ehsan; Gjøsteen, Kristian; Haines, Thomas; Ryan, Peter Y. A.; Rønne, Peter B.; Solberg, Morten Rotvold (Chapter, 2022)Privacy is a notoriously difficult property to achieve in complicated systems and especially in electronic voting schemes. Moreover, electronic voting schemes is a class of systems that require very high assurance. The ...