東華大學圖書館 |

Language: English

Help

回圖書館首頁

手機版館藏查詢

Back

Switch To: Labeled | MARC Mode | ISBD

Financial cryptography and data secu...

VOTING (Workshop) (2019 :)

Linked to FindBook

Google Book

Amazon

博客來

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 /

Record Type:	Electronic resources : Monograph/item
Title/Author:	Financial cryptography and data security/ edited by Andrea Bracciali ... [et al.].
Reminder of title:	FC 2019 International Workshops, VOTING and WTSC, St. Kitts, St. Kitts and Nevis, February 18-22, 2019 : revised selected papers /
remainder title:	FC 2019
other author:	Bracciali, Andrea.
corporate name:	VOTING (Workshop)
Published:	Cham :Springer International Publishing : : 2020.,
Description:	xiv, 347 p. :ill., digital ;24 cm.
[NT 15003449]:	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.
Contained By:	Springer eBooks
Subject:	Data encryption (Computer science) - Congresses. -
Online resource:	https://doi.org/10.1007/978-3-030-43725-1
ISBN:	9783030437251

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 /
Financial cryptography and data securityFC 2019 International Workshops, VOTING and WTSC, St. Kitts, St. Kitts and Nevis, February 18-22, 2019 : revised selected papers /[electronic resource] :FC 2019edited by Andrea Bracciali ... [et al.]. - Cham :Springer International Publishing :2020. - xiv, 347 p. :ill., digital ;24 cm. - Lecture notes in computer science,115990302-9743 ;. - Lecture notes in computer science ;11599..

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.

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.

ISBN: 9783030437251

Standard No.: 10.1007/978-3-030-43725-1doiSubjects--Topical Terms:

844473
Data encryption (Computer science)
--Congresses.

LC Class. No.: QA76.9.A25 / V67 2019

Dewey Class. No.: 005.824

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 /
LDR:03535nmm a2200397 a 4500 001 2216867
003 DE-He213
005 20200313123306.0
006 m d
007 cr nn 008maaau
008 201120s2020 sz s 0 eng d
020 $a 9783030437251 $q (electronic bk.)
020 $a 9783030437244 $q (paper)
024 7 $a 10.1007/978-3-030-43725-1 $2 doi
035 $a 978-3-030-43725-1
040 $a GP $c GP
041 0 $a eng
050 4 $a QA76.9.A25 $b V67 2019
072 7 $a GPJ $2 bicssc
072 7 $a COM053000 $2 bisacsh
072 7 $a GPJ $2 thema
072 7 $a URY $2 thema
082 0 4 $a 005.824 $2 23
090 $a QA76.9.A25 $b V971 2019
111 2 $a VOTING (Workshop) $n (4th : $d 2019 : $c Saint Kitts, Saint Kitts and Nevis) $3 3449626
245 1 0 $a Financial cryptography and data security $h [electronic resource] : $b FC 2019 International Workshops, VOTING and WTSC, St. Kitts, St. Kitts and Nevis, February 18-22, 2019 : revised selected papers / $c edited by Andrea Bracciali ... [et al.].
246 3 $a FC 2019
246 3 $a VOTING 2019
246 3 $a WTSC 2019
260 $a Cham : $b Springer International Publishing : $b Imprint: Springer, $c 2020.
300 $a xiv, 347 p. : $b ill., digital ; $c 24 cm.
490 1 $a Lecture notes in computer science, $x 0302-9743 ; $v 11599
490 1 $a Security and cryptology
505 0 $a 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.
520 $a 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.
650 0 $a Data encryption (Computer science) $v Congresses. $3 844473
650 0 $a Computer security $v Congresses. $3 622818
650 0 $a User-centered system design $v Congresses. $3 1067425
650 1 4 $a Cryptology. $3 3382308
650 2 4 $a Information Systems Applications (incl. Internet) $3 1565452
650 2 4 $a Computer System Implementation. $3 892710
650 2 4 $a Database Management. $3 891010
650 2 4 $a Computer Communication Networks. $3 775497
700 1 $a Bracciali, Andrea. $3 3264150
710 2 $a SpringerLink (Online service) $3 836513
711 2 $a WTSC (Workshop) $n (3rd : $d 2019 : $c Saint Kitts, Saint Kitts and Nevis) $3 3449628
711 2 $a FC (Conference) $n (23rd : $d 2019 : $c Saint Kitts, Saint Kitts and Nevis) $3 3449629
773 0 $t Springer eBooks
830 0 $a Lecture notes in computer science ; $v 11599. $3 3449627
830 0 $a Security and cryptology. $3 3382517
856 4 0 $u https://doi.org/10.1007/978-3-030-43725-1
950 $a Computer Science (Springer-11645)