1 citations · 2 across the 4 of their papers we have counts for
4 papers
Perils of current DAO governance
Aida Manzano Kharman, Ben Smyth
DAO Governance is currently broken. We survey the state of the art and find worrying conclusions. Vote buying, vote selling and coercion are easy. The wealthy rule, decentralisatio…
Is your vote truly secret? Ballot Secrecy iff Ballot Independence: Proving necessary conditions and analysing case studies
Aida Manzano Kharman, Ben Smyth, Freddie Page
We formalise definitions of ballot secrecy and ballot independence by Smyth, JCS'21 as indistinguishability games in the computational model of security. These definitions improve…
Robust decentralised proof-of-position algorithms for smart city applications
Aida Manzano Kharman, Pietro Ferraro, Anthony Quinn +1
We present a decentralised class of algorithms called Tree-Proof-of-Position (T-PoP). T-PoP algorithms rely on the web of interconnected devices in a smart city to establish how li…
An adversarially robust data-market for spatial, crowd-sourced data
Aida Manzano Kharman, Christian Jursitzky, Quan Zhou +4
We describe an architecture for a decentralised data market for applications in which agents are incentivised to collaborate to crowd-source their data. The architecture is designe…