1. Distributed computing meets game theory
2. John Adler , Ryan Berryhill , Andreas Veneris , Zissis Poulos , Neil Veira , and Anastasia Kastania . 2018 . Astraea: A Decentralized Blockchain Oracle. In 2018 IEEE International Conference on Internet of Things (iThings) and IEEE Green Computing and Communications (GreenCom) and IEEE Cyber, Physical and Social Computing (CPSCom) and IEEE Smart Data (SmartData) . 1145--1152. https://doi.org/10.1109/Cybermatics_2018.2018.00207 John Adler, Ryan Berryhill, Andreas Veneris, Zissis Poulos, Neil Veira, and Anastasia Kastania. 2018. Astraea: A Decentralized Blockchain Oracle. In 2018 IEEE International Conference on Internet of Things (iThings) and IEEE Green Computing and Communications (GreenCom) and IEEE Cyber, Physical and Social Computing (CPSCom) and IEEE Smart Data (SmartData). 1145--1152. https://doi.org/10.1109/Cybermatics_2018.2018.00207
3. Solving the Buyer and Seller’s Dilemma: A Dual-Deposit Escrow Smart Contract for Provably Cheat-Proof Delivery and Payment for a Digital Good without a Trusted Mediator
4. Calling Out Cheaters: Covert Security with Public Verifiability
5. Asynchronous protocols for optimistic fair exchange