Skip to main content
SpringerLink
Log in
Book cover

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

  • Conference proceedings
  • © 2020

Overview

Editors:
  1. Andrea Bracciali

    1. Stirling University, Stirling, UK

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Jeremy Clark

    1. Concordia University, Montréal, Canada

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Federico Pintore

    1. University of Oxford, Oxford, UK

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  4. Peter B. Rønne

    1. University of Luxembourg, Esch-sur-Alzette, Luxembourg

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  5. Massimiliano Sala

    1. University of Trento, Trento, Italy

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

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

Included in the following conference series:

Conference proceedings info: FC 2019.

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

Access this book

Log in via an institution
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

Licence this eBook for your library

Institutional subscriptions

Table of contents (23 papers)

  1. Front Matter

    Pages i-xiv
    Download chapter PDF

  2. Trusted Smart Contracts

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    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. Building Executable Secure Design Models for Smart Contracts with Formal Methods

      • Weifeng Xu, Glenn A. Fink
      Pages 154-169

    14. SoK: Transparent Dishonesty: Front-Running Attacks on Blockchain

      • Shayan Eskandari, Seyedehmahsa Moosavi, Jeremy Clark
      Pages 170-189

    15. 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
      Download chapter PDF

    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

    4. k-Cut: A Simple Approximately-Uniform Method for Sampling Ballots in Post-election Audits

      • Mayuri Sridhar, Ronald L. Rivest
      Pages 242-256
Back to top

Other volumes

  1. Financial Cryptography and Data Security

  2. Financial Cryptography and Data Security

Keywords

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

Publish with us

Policies and ethics

Back to top

Search

Navigation