Financial Cryptography and Data Security
Springer International Publishing (Verlag)
978-3-030-43724-4 (ISBN)
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 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.
Erscheinungsdatum | 14.03.2020 |
---|---|
Reihe/Serie | Lecture Notes in Computer Science | Security and Cryptology |
Zusatzinfo | XIV, 347 p. 216 illus., 29 illus. in color. |
Verlagsort | Cham |
Sprache | englisch |
Maße | 155 x 235 mm |
Gewicht | 557 g |
Themenwelt | Informatik ► Theorie / Studium ► Kryptologie |
Schlagworte | Applications • Blockchain • Computer Networks • Computer Science • Computer Security • Computer systems • conference proceedings • cryptography • Databases • Data communication systems • distributed computer systems • Distributed Database Systems • Distributed Ledger • Distributed Systems • Informatics • Internet • Network Protocols • parallel processing systems • Query Languages • Research |
ISBN-10 | 3-030-43724-8 / 3030437248 |
ISBN-13 | 978-3-030-43724-4 / 9783030437244 |
Zustand | Neuware |
Haben Sie eine Frage zum Produkt? |
aus dem Bereich