Financial Cryptography and Data Security - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer International Publishing

9783030437244, 9783030437251

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Sluggish Mining: Profiting from the Verifier’s Dilemma

Financial Cryptography and Data Security - Lecture Notes in Computer Science ◽

10.1007/978-3-030-43725-1_6 ◽

2020 ◽

pp. 67-81

Author(s):

Beltrán Borja Fiz Pontiveros ◽

Christof Ferreira Torres ◽

Radu State

Bernoulli Ballot Polling: A Manifest Improvement for Risk-Limiting Audits

Financial Cryptography and Data Security - Lecture Notes in Computer Science ◽

10.1007/978-3-030-43725-1_16 ◽

2020 ◽

pp. 226-241 ◽

Cited By ~ 1

Author(s):

Kellie Ottoboni ◽

Matthew Bernhard ◽

J. Alex Halderman ◽

Ronald L. Rivest ◽

Philip B. Stark

Improving the Performance of Cryptographic Voting Protocols

Financial Cryptography and Data Security - Lecture Notes in Computer Science ◽

10.1007/978-3-030-43725-1_19 ◽

2020 ◽

pp. 272-288 ◽

Cited By ~ 2

Author(s):

Rolf Haenni ◽

Philipp Locher ◽

Nicolas Gailly

Election Manipulation 100

Financial Cryptography and Data Security - Lecture Notes in Computer Science ◽

10.1007/978-3-030-43725-1_15 ◽

2020 ◽

pp. 211-225

Author(s):

Michelle Blom ◽

Peter J. Stuckey ◽

Vanessa J. Teague

Trustee: Full Privacy Preserving Vickrey Auction on Top of Ethereum

Financial Cryptography and Data Security - Lecture Notes in Computer Science ◽

10.1007/978-3-030-43725-1_14 ◽

2020 ◽

pp. 190-207

Author(s):

Hisham S. Galal ◽

Amr M. Youssef

Keyword(s):

Privacy Preserving ◽

Vickrey Auction

Building Executable Secure Design Models for Smart Contracts with Formal Methods

Financial Cryptography and Data Security - Lecture Notes in Computer Science ◽

10.1007/978-3-030-43725-1_12 ◽

2020 ◽

pp. 154-169

Author(s):

Weifeng Xu ◽

Glenn A. Fink

Keyword(s):

Formal Methods ◽

Smart Contracts ◽

Design Models

You Sank My Battleship! A Case Study to Evaluate State Channels as a Scaling Solution for Cryptocurrencies

Financial Cryptography and Data Security - Lecture Notes in Computer Science ◽

10.1007/978-3-030-43725-1_4 ◽

2020 ◽

pp. 35-49 ◽

Cited By ~ 1

Author(s):

Patrick McCorry ◽

Chris Buckland ◽

Surya Bakshi ◽

Karl Wüst ◽

Andrew Miller

Keyword(s):

Scaling Solution

Short Paper: Secure Offline Payments in Bitcoin

Financial Cryptography and Data Security - Lecture Notes in Computer Science ◽

10.1007/978-3-030-43725-1_2 ◽

2020 ◽

pp. 12-20

Author(s):

Taisei Takahashi ◽

Akira Otsuka

Keyword(s):

Short Paper

A Java Framework for Smart Contracts

Financial Cryptography and Data Security - Lecture Notes in Computer Science ◽

10.1007/978-3-030-43725-1_10 ◽

2020 ◽

pp. 122-137

Author(s):

Fausto Spoto

Keyword(s):

Smart Contracts

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

Financial Cryptography and Data Security - Lecture Notes in Computer Science ◽

10.1007/978-3-030-43725-1_17 ◽

2020 ◽

pp. 242-256

Author(s):

Mayuri Sridhar ◽

Ronald L. Rivest

Keyword(s):

Uniform Method

Financial Cryptography and Data Security - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer International Publishing

Sluggish Mining: Profiting from the Verifier’s Dilemma

Bernoulli Ballot Polling: A Manifest Improvement for Risk-Limiting Audits

Improving the Performance of Cryptographic Voting Protocols

Election Manipulation 100

Trustee: Full Privacy Preserving Vickrey Auction on Top of Ethereum

Building Executable Secure Design Models for Smart Contracts with Formal Methods

You Sank My Battleship! A Case Study to Evaluate State Channels as a Scaling Solution for Cryptocurrencies

Short Paper: Secure Offline Payments in Bitcoin

A Java Framework for Smart Contracts

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

Financial Cryptography and Data Security - Lecture Notes in Computer Science
Latest Publications