2 citations · 6 across the 9 of their papers we have counts for
9 papers
Blockchain Bribing Attacks and the Efficacy of Counterincentives
Dimitris Karakostas, Aggelos Kiayias, Thomas Zacharias
We analyze bribing attacks in Proof-of-Stake distributed ledgers from a game theoretic perspective. In bribing attacks, an adversary offers participants a reward in exchange for in…
On the (De)centralization of FruitChains
Aikaterini-Panagiota Stouka, Thomas Zacharias
One of the most important features of blockchain protocols is decentralization, as their main contribution is that they formulate a distributed ledger that will be maintained and e…
Universally Composable Simultaneous Broadcast against a Dishonest Majority and Applications
Myrto Arapinis, Ábel Kocsis, Nikolaos Lamprou +2
Simultaneous broadcast (SBC) protocols [Chor et al., FOCS 1985] constitute a special class of broadcast channels which have proved extremely useful in the design of various distrib…
Glass-Vault: A Generic Transparent Privacy-preserving Exposure Notification Analytics Platform
Lorenzo Martinico, Aydin Abadi, Thomas Zacharias +1
The highly transmissible COVID-19 disease is a serious threat to people's health and life. To automate tracing those who have been in close physical contact with newly infected peo…
Recurring Contingent Service Payment
Aydin Abadi, Steven J. Murdoch, Thomas Zacharias
Fair exchange protocols let two mutually distrustful parties exchange digital data in a way that neither party can cheat. They have various applications such as the exchange of dig…
Extending the Vocabulary of Fictional Languages using Neural Networks
Thomas Zacharias, Ashutosh Taklikar, Raja Giryes
Fictional languages have become increasingly popular over the recent years appearing in novels, movies, TV shows, comics, and video games. While some of these fictional languages h…
Blockchain Nash Dynamics and the Pursuit of Compliance
Dimitris Karakostas, Aggelos Kiayias, Thomas Zacharias
We study Nash-dynamics in the context of blockchain protocols. We introduce a formal model, within which one can assess whether the Nash dynamics can lead utility-maximizing partic…
Distributed, End-to-end Verifiable, and Privacy-Preserving Internet Voting Systems
Nikos Chondros, Bingsheng Zhang, Thomas Zacharias +6
E-voting systems are a powerful technology for improving democracy. Unfortunately, prior voting systems have single points-of-failure, which may compromise availability, privacy, o…
D-DEMOS: A distributed, end-to-end verifiable, internet voting system
Nikos Chondros, Bingsheng Zhang, Thomas Zacharias +6
E-voting systems have emerged as a powerful technology for improving democracy by reducing election cost, increasing voter participation, and even allowing voters to directly verif…