LEADER 05050nam 22007695 450 001 9910409681703321 005 20251225181955.0 010 $a3-030-43725-6 024 7 $a10.1007/978-3-030-43725-1 035 $a(CKB)4100000010672222 035 $a(DE-He213)978-3-030-43725-1 035 $a(MiAaPQ)EBC6134069 035 $a(Au-PeEL)EBL6134069 035 $a(OCoLC)1145605120 035 $a(PPN)243222874 035 $a(EXLCZ)994100000010672222 100 $a20200312d2020 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aFinancial Cryptography and Data Security $eFC 2019 International Workshops, VOTING and WTSC, St. Kitts, St. Kitts and Nevis, February 18?22, 2019, Revised Selected Papers /$fedited by Andrea Bracciali, Jeremy Clark, Federico Pintore, Peter B. Rønne, Massimiliano Sala 205 $a1st ed. 2020. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2020. 215 $a1 online resource (XIV, 347 p. 216 illus., 29 illus. in color.) 225 1 $aSecurity and Cryptology,$x2946-1863 ;$v11599 311 08$a3-030-43724-8 327 $aTwo-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 inE-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. 330 $aThis 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. . 410 0$aSecurity and Cryptology,$x2946-1863 ;$v11599 606 $aCryptography 606 $aData encryption (Computer science) 606 $aApplication software 606 $aComputer systems 606 $aDatabase management 606 $aComputer networks 606 $aCryptology 606 $aComputer and Information Systems Applications 606 $aComputer System Implementation 606 $aDatabase Management 606 $aComputer Communication Networks 615 0$aCryptography. 615 0$aData encryption (Computer science). 615 0$aApplication software. 615 0$aComputer systems. 615 0$aDatabase management. 615 0$aComputer networks. 615 14$aCryptology. 615 24$aComputer and Information Systems Applications. 615 24$aComputer System Implementation. 615 24$aDatabase Management. 615 24$aComputer Communication Networks. 676 $a005.82 676 $a005.824 702 $aBracciali$b Andrea$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aClark$b Jeremy$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aPintore$b Federico$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aRønne$b Peter B$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aSala$b Massimiliano$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910409681703321 996 $aFinancial Cryptography and Data Security$92960333 997 $aUNINA