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

This book constitutes the refereed proceedings of 5 workshops held at the 21st International Conference on Financial Cryptography and Data Security, FC 2017, in Sliema, Malta, in April 2017. The 39 full papers presented were carefully reviewed and selected from 96 submissions. They feature the outcome of the 5th Workshop on Encrypted Computing and Applied Homomorphic Cryptography, WAHC 2017, the 4th Workshop on Bitcoin and Blockchain Research, BITCOIN 2017, the Second Workshop on Secure Voting Systems, VOTING 2017, the First Workshop on Trusted Smart Contracts, WTSC 2017, and the First Workshop on Targeted Attacks, TA 2017. The papers are grouped in topical sections named: encrypted computing and applied homomorphic cryptography; bitcoin and blockchain research; advances in secure electronic voting schemes; trusted smart contracts; targeted attacks. 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 This books constitutes the thoroughly refereed papers and poster abstracts from the FC 2014 Workshops, the First Workshop on Bitcoin Research, BITCOIN 2014, and the Second Workshop on Applied Homomorphic Cryptography and Encrypted Computing, WAHC 2014, co-located with the 18th International Conference on Financial Cryptography and Data Security, held in Christ Church, Barbados, on March 7, 2014. The 15 full papers and 3 poster abstracts presented were carefully reviewed and selected from 30 submissions. They are grouped in topical sections on Bitcoin transactions, policy and legal issues; Bitcoin security; improving digital currencies; posters, and WAHC papers.