Skip to main content
  • Conference proceedings
  • © 2020

Financial Cryptography and Data Security

FC 2019 International Workshops, VOTING and WTSC, St. Kitts, St. Kitts and Nevis, February 18–22, 2019, Revised Selected Papers

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 11599)

Part of the book sub series: Security and Cryptology (LNSC)

Conference series link(s): FC: International Conference on Financial Cryptography and Data Security

Conference proceedings info: FC 2019.

Buy it now

Buying options

eBook USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

This is a preview of subscription content, log in via an institution to check for access.

Table of contents (23 papers)

  1. Front Matter

    Pages i-xiv
  2. Trusted Smart Contracts

    1. Front Matter

      Pages 1-1
    2. Two-Party State Channels with Assertions

      • Chris Buckland, Patrick McCorry
      Pages 3-11
    3. Short Paper: Secure Offline Payments in Bitcoin

      • Taisei Takahashi, Akira Otsuka
      Pages 12-20
    4. Proof-of-Work Sidechains

      • Aggelos Kiayias, Dionysis Zindros
      Pages 21-34
    5. You Sank My Battleship! A Case Study to Evaluate State Channels as a Scaling Solution for Cryptocurrencies

      • Patrick McCorry, Chris Buckland, Surya Bakshi, Karl Wüst, Andrew Miller
      Pages 35-49
    6. Game-Theoretic Analysis of an Incentivized Verifiable Computation System

      • Mahmudun Nabi, Sepideh Avizheh, Muni Venkateswarlu Kumaramangalam, Reihaneh Safavi-Naini
      Pages 50-66
    7. Sluggish Mining: Profiting from the Verifier’s Dilemma

      • Beltrán Borja Fiz Pontiveros, Christof Ferreira Torres, Radu State
      Pages 67-81
    8. Short Paper: Deploying PayWord on Ethereum

      • Muhammad Elsheikh, Jeremy Clark, Amr M. Youssef
      Pages 82-90
    9. SoK: Development of Secure Smart Contracts – Lessons from a Graduate Course

      • Monika di Angelo, Christian Sack, Gernot Salzer
      Pages 91-105
    10. Verification-Led Smart Contracts

      • Richard Banach
      Pages 106-121
    11. A Java Framework for Smart Contracts

      • Fausto Spoto
      Pages 122-137
    12. Is Solidity Solid Enough?

      • Silvia Crafa, Matteo Di Pirro, Elena Zucca
      Pages 138-153
    13. SoK: Transparent Dishonesty: Front-Running Attacks on Blockchain

      • Shayan Eskandari, Seyedehmahsa Moosavi, Jeremy Clark
      Pages 170-189
    14. Trustee: Full Privacy Preserving Vickrey Auction on Top of Ethereum

      • Hisham S. Galal, Amr M. Youssef
      Pages 190-207
  3. Advances in Secure Electronic Voting Schemes

    1. Front Matter

      Pages 209-209
    2. Election Manipulation 100

      • Michelle Blom, Peter J. Stuckey, Vanessa J. Teague
      Pages 211-225
    3. Bernoulli Ballot Polling: A Manifest Improvement for Risk-Limiting Audits

      • Kellie Ottoboni, Matthew Bernhard, J. Alex Halderman, Ronald L. Rivest, Philip B. Stark
      Pages 226-241

Other Volumes

  1. Financial Cryptography and Data Security

About this book

This book constitutes the refereed proceedings of two workshops held at the 23rd International Conference on Financial Cryptography and Data Security, FC 2019, in St. Kitts, St. Kitts and Nevis, in February 2019.
The 20 full papers and 4 short papers presented in this book were carefully reviewed and selected from 34 submissions.
The papers feature the outcome of the 4th Workshop on Advances in Secure Electronic Voting, VOTING 2019 and the Third Workshop on Trusted Smart Contracts, WTSC 2019. VOTING covered topics like election auditing, voting system efficiency, voting system usability, and new technical designs for cryptographic protocols for voting systems.
WTSC focuses on smart contracts, i.e., self-enforcing agreements in the form of executable programs, and other decentralized applications that are deployed to and run on top of (specialized) blockchains. 

Editors and Affiliations

  • Stirling University, Stirling, UK

    Andrea Bracciali

  • Concordia University, Montréal, Canada

    Jeremy Clark

  • University of Oxford, Oxford, UK

    Federico Pintore

  • University of Luxembourg, Esch-sur-Alzette, Luxembourg

    Peter B. Rønne

  • University of Trento, Trento, Italy

    Massimiliano Sala

Bibliographic Information

Buy it now

Buying options

eBook USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access