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

Editors:

(view affiliations)

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.

Buying options

eBook
USD 59.99
Price excludes VAT (USA)
  • ISBN: 978-3-030-43725-1
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book
USD 79.99
Price excludes VAT (USA)

This is a preview of subscription content, access via your institution.

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

    23rd International Conference, FC 2019, Frigate Bay, St. Kitts and Nevis, February 18–22, 2019, Revised Selected Papers
  2. 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

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. 

Keywords

  • blockchain
  • computer networks
  • computer security
  • computer systems
  • cryptography
  • data communication systems
  • databases
  • distributed computer systems
  • distributed database systems
  • distributed ledger
  • distributed systems
  • internet
  • network protocols
  • parallel processing systems
  • query languages

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

Buying options

eBook
USD 59.99
Price excludes VAT (USA)
  • ISBN: 978-3-030-43725-1
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book
USD 79.99
Price excludes VAT (USA)