Financial Cryptography and Data Security: FC 2017 International Workshops, WAHC, BITCOIN, VOTING, WTSC, and TA, Sliema, Malta, April 7, 2017, Revised Selected Papers

Front Matter ....Pages I-XXII
Front Matter ....Pages 1-1
 Simple Encrypted Arithmetic Library - SEAL v2.1  (Hao Chen, Kim Laine, Rachel Player)....Pages 3-18
 Towards Privacy-Preserving Multi-party Bartering  (Stefan Wüller, Ulrike Meyer, Susanne Wetzel)....Pages 19-34
 Multi-level Access in Searchable Symmetric Encryption  (James Alderman, Keith M. Martin, Sarah Louise Renwick)....Pages 35-52
 Privacy-Preserving Computations of Predictive Medical Models with Minimax Approximation and Non-Adjacent Form  (Jung Hee Cheon, Jinhyuck Jeong, Joohee Lee, Keewoo Lee)....Pages 53-74
 Private Outsourced Kriging Interpolation  (James Alderman, Benjamin R. Curtis, Oriol Farràs, Keith M. Martin, Jordi Ribes-González)....Pages 75-90
 An Analysis of FV Parameters Impact Towards Its Hardware Acceleration  (Joël Cathébras, Alexandre Carbon, Renaud Sirdey, Nicolas Ventroux)....Pages 91-106
 Controlled Homomorphic Encryption: Definition and Construction  (Yvo Desmedt, Vincenzo Iovino, Giuseppe Persiano, Ivan Visconti)....Pages 107-129
Front Matter ....Pages 131-131
 ValueShuffle: Mixing Confidential Transactions for Comprehensive Transaction Privacy in Bitcoin  (Tim Ruffing, Pedro Moreno-Sanchez)....Pages 133-154
 Could Network Information Facilitate Address Clustering in Bitcoin?  (Till Neudecker, Hannes Hartenstein)....Pages 155-169
 Switch Commitments: A Safety Switch for Confidential Transactions  (Tim Ruffing, Giulio Malavolta)....Pages 170-181
 (Short Paper) PieceWork: Generalized Outsourcing Control for Proofs of Work  (Philip Daian, Ittay Eyal, Ari Juels, Emin Gün Sirer)....Pages 182-190
 Enhancing Bitcoin Transactions with Covenants  (Russell O’Connor, Marta Piekarska)....Pages 191-198
 Decentralized Prediction Market Without Arbiters  (Iddo Bentov, Alex Mizrahi, Meni Rosenfeld)....Pages 199-217
 An Analysis of Bitcoin OP_RETURN Metadata  (Massimo Bartoletti, Livio Pompianu)....Pages 218-230
 Constant-Deposit Multiparty Lotteries on Bitcoin  (Massimo Bartoletti, Roberto Zunino)....Pages 231-247
 Exchange Pattern Mining in the Bitcoin Transaction Directed Hypergraph  (Stephen Ranshous, Cliff A. Joslyn, Sean Kreyling, Kathleen Nowak, Nagiza F. Samatova, Curtis L. West et al.)....Pages 248-263
 Incentivizing Blockchain Forks via Whale Transactions  (Kevin Liao, Jonathan Katz)....Pages 264-279
 Mixing Coins of Different Quality: A Game-Theoretic Approach  (Svetlana Abramova, Pascal Schöttle, Rainer Böhme)....Pages 280-297
 Smart Contracts Make Bitcoin Mining Pools Vulnerable  (Yaron Velner, Jason Teutsch, Loi Luu)....Pages 298-316
 BatchVote: Voting Rules Designed for Auditability  (Ronald L. Rivest, Philip B. Stark, Zara Perumal)....Pages 317-333
Front Matter ....Pages 335-335
 Existential Assertions for Voting Protocols  (R. Ramanujam, Vaishnavi Sundararajan, S. P. Suresh)....Pages 337-352
 Marked Mix-Nets  (Olivier Pereira, Ronald L. Rivest)....Pages 353-369
 Pseudo-Code Algorithms for Verifiable Re-encryption Mix-Nets  (Rolf Haenni, Philipp Locher, Reto Koenig, Eric Dubuis)....Pages 370-384
 Using Selene to Verify Your Vote in JCJ  (Vincenzo Iovino, Alfredo Rial, Peter B. Rønne, Peter Y. A. Ryan)....Pages 385-403
 A Roadmap to Fully Homomorphic Elections: Stronger Security, Better Verifiability  (Kristian Gjøsteen, Martin Strand)....Pages 404-418
 Enabling Vote Delegation for Boardroom Voting  (Oksana Kulyk, Stephan Neumann, Karola Marky, Melanie Volkamer)....Pages 419-433
 Practical Governmental Voting with Unconditional Integrity and Privacy  (Nan Yang, Jeremy Clark)....Pages 434-449
Front Matter ....Pages 451-451
 Findel: Secure Derivative Contracts for Ethereum  (Alex Biryukov, Dmitry Khovratovich, Sergei Tikhomirov)....Pages 453-467
 Decentralized Execution of Smart Contracts: Agent Model Perspective and Its Implications  (Lin Chen, Lei Xu, Nolan Shah, Zhimin Gao, Yang Lu, Weidong Shi)....Pages 468-477
 A Concurrent Perspective on Smart Contracts  (Ilya Sergey, Aquinas Hobor)....Pages 478-493
 An Empirical Analysis of Smart Contracts: Platforms, Applications, and Design Patterns  (Massimo Bartoletti, Livio Pompianu)....Pages 494-509
 Trust in Smart Contracts is a Process, As Well  (Firas Al Khalil, Tom Butler, Leona O’Brien, Marcello Ceci)....Pages 510-519
 Defining the Ethereum Virtual Machine for Interactive Theorem Provers  (Yoichi Hirai)....Pages 520-535
 SmartCast: An Incentive Compatible Consensus Protocol Using Smart Contracts  (Abhiram Kothapalli, Andrew Miller, Nikita Borisov)....Pages 536-552
 On the Feasibility of Decentralized Derivatives Markets  (Shayan Eskandari, Jeremy Clark, Vignesh Sundaresan, Moe Adham)....Pages 553-567
 A Proof-of-Stake Protocol for Consensus on Bitcoin Subchains  (Massimo Bartoletti, Stefano Lande, Alessandro Sebastian Podda)....Pages 568-584
Front Matter ....Pages 585-585
 X-Platform Phishing: Abusing Trust for Targeted Attacks Short Paper  (Hossein Siadati, Toan Nguyen, Nasir Memon)....Pages 587-596
 What to Phish in a Subject?  (Ana Ferreira, Rui Chilro)....Pages 597-609
 Unpacking Spear Phishing Susceptibility  (Zinaida Benenson, Freya Gassmann, Robert Landwirth)....Pages 610-627
Back Matter ....Pages 629-636