Financial Cryptography and Data Security: FC 2018 International Workshops, BITCOIN, VOTING, and WTSC, Nieuwpoort, Curaçao, March 2, 2018, Revised Selected Papers

Front Matter ....Pages I-XV
Front Matter ....Pages 1-1
 Smart Contracts for Bribing Miners  (Patrick McCorry, Alexander Hicks, Sarah Meiklejohn)....Pages 3-18
 A Systematic Approach to Cryptocurrency Fees  (Alexander Chepurnoy, Vasily Kharin, Dmitry Meshkov)....Pages 19-30
 A Wild Velvet Fork Appears! Inclusive Blockchain Protocol Changes in Practice  (A. Zamyatin, N. Stifter, A. Judmayer, P. Schindler, E. Weippl, W. J. Knottenbelt)....Pages 31-42
 Confidential Assets  (Andrew Poelstra, Adam Back, Mark Friedenbach, Gregory Maxwell, Pieter Wuille)....Pages 43-63
 A Multi-party Protocol for Constructing the Public Parameters of the Pinocchio zk-SNARK  (Sean Bowe, Ariel Gabizon, Matthew D. Green)....Pages 64-77
 Analysis of the Bitcoin UTXO Set  (Sergi Delgado-Segura, Cristina Pérez-Solà, Guillermo Navarro-Arribas, Jordi Herrera-Joancomartí)....Pages 78-91
 Hostile Blockchain Takeovers (Short Paper)  (Joseph Bonneau)....Pages 92-100
 Analyzing the Bitcoin Ponzi Scheme Ecosystem  (Marie Vasek, Tyler Moore)....Pages 101-112
 Exploiting Transaction Accumulation and Double Spends for Topology Inference in Bitcoin  (Matthias Grundmann, Till Neudecker, Hannes Hartenstein)....Pages 113-126
 Egalitarian Society or Benevolent Dictatorship: The State of Cryptocurrency Governance  (Sarah Azouvi, Mary Maller, Sarah Meiklejohn)....Pages 127-143
 Blockchain-Based Certificate Transparency and Revocation Transparency  (Ze Wang, Jingqiang Lin, Quanwei Cai, Qiongxiao Wang, Jiwu Jing, Daren Zha)....Pages 144-162
Front Matter ....Pages 163-163
 A Verifiable Shuffle for the GSW Cryptosystem  (Martin Strand)....Pages 165-180
 Outsourcing Modular Exponentiation in Cryptographic Web Applications  (Pascal Mainini, Rolf Haenni)....Pages 181-195
 Voting Technologies, Recount Methods and Votes in Wisconsin and Michigan in 2016  (Walter R. Mebane Jr., Matthew Bernhard)....Pages 196-209
 Towards Everlasting Privacy and Efficient Coercion Resistance in Remote Electronic Voting  (Panagiotis Grontas, Aris Pagourtzis, Alexandros Zacharakis, Bingsheng Zhang)....Pages 210-231
 Modeling a Bulletin Board Service Based on Broadcast Channels with Memory  (Severin Hauser, Rolf Haenni)....Pages 232-246
 Verifiability of Helios Mixnet  (Ben Smyth)....Pages 247-261
Front Matter ....Pages 263-263
 Verifiable Sealed-Bid Auction on the Ethereum Blockchain  (Hisham S. Galal, Amr M. Youssef)....Pages 265-278
 The Scalability of Trustless Trust  (Dominik Harz, Magnus Boman)....Pages 279-293
 The Game Among Bribers in a Smart Contract System  (Lin Chen, Lei Xu, Zhimin Gao, Nolan Shah, Ton Chanh Le, Yang Lu et al.)....Pages 294-307
 Lightweight Blockchain Logging for Data-Intensive Applications  (Yuzhe (Richard) Tang, Zihao Xing, Cheng Xu, Ju Chen, Jianliang Xu)....Pages 308-324
 Proof-Carrying Smart Contracts  (Thomas Dickerson, Paul Gazzillo, Maurice Herlihy, Vikram Saraph, Eric Koskinen)....Pages 325-338
 Comparative Analysis of the Legal Concept of Title Rights in Real Estate and the Technology of Tokens: How Can Titles Become Tokens?  (Oleksii Konashevych)....Pages 339-351
 Ghazal: Toward Truly Authoritative Web Certificates Using Ethereum  (Seyedehmahsa Moosavi, Jeremy Clark)....Pages 352-366
 Toward Cryptocurrency Lending  (Mildred Chidinma Okoye, Jeremy Clark)....Pages 367-380
Back Matter ....Pages 381-382