Description
Financial Cryptography and Data Security, 1st ed. 2020
FC 2019 International Workshops, VOTING and WTSC, St. Kitts, St. Kitts and Nevis, February 18-22, 2019, Revised Selected Papers
Security and Cryptology Series
Coordinators: Bracciali Andrea, Clark Jeremy, Pintore Federico, Rønne Peter B., Sala Massimiliano
Language: EnglishSubjects for Financial Cryptography and Data Security:
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
347 p. · 15.5x23.5 cm · Paperback
Description
/li>Contents
/li>
Two-Party State Channels with State Assertions.- Secure Offline Payments in Bitcoin.- Proof-of-Work Sidechains.- You Sank my Battleship! A Case Study to Evaluate State Channels as a Scaling Solution for Cryptocurrencies.- Game-theoretic Analysis of an Incentivized Verifiable Computation System.- Sluggish Mining: Profiting from the Verier's Dilemma.- Deploying PayWord on Ethereum.- SoK: Development of Secure Smart Contracts - Lessons from a Graduate Course.- Verification-Led Smart Contracts.- A Java Framework for Smart Contracts.- Is Solidity solid enough.- Building Executable Secure Design Models for Smart Contracts with Formal Methods.- SoK: Transparent Dishonesty: Front-running Attacks on Blockchain.- Trustee: Full Privacy Preserving Vickrey Auction on top of Ethereum.- Election Manipulation 100.- A Manifest Improvement for Risk-Limiting Audits.- k-Cut: A Simple Approximately-Uniform Method for Sampling Ballots in Post-Election Audits.- How to Assess the Usability Metrics in E-Voting Schemes.- Improving the Performance of Cryptographic Voting Protocols (SoK).- Short Paper: Coercion-Resistant Voting in Linear Time via Fully Homomorphic Encryption.- Priv-Apollo - Secret Ballot E2E-V Internet Voting.- End-to-End Verifiable Quadratic Voting with Everlasting Privacy.- Lattice-Based Proof of a Shuffle.