Security and cryptography for networks : 12th International Conference, SCN 2020, Amalfi, Italy, September 14-16, 2020, Proceedings

Bibliographische Detailangaben

Titel
Security and cryptography for networks 12th International Conference, SCN 2020, Amalfi, Italy, September 14-16, 2020, Proceedings
verantwortlich
Galdi, Clemente.; Kolesnikov, Vladimir.
Schriftenreihe
Lecture Notes in Computer Science ; ; 12238
veröffentlicht
Cham, Switzerland: Springer, [2020]
Erscheinungsjahr
2020
Teil von
Lecture notes in computer science.
Medientyp
E-Book
Datenquelle
British Library Catalogue
Tags
Tag hinzufügen

Zugang

Für diesen Titel können wir derzeit leider keine weiteren Informationen zur Verfügbarkeit bereitstellen.

Inhaltsangabe:
  • Intro
  • Preface
  • Organization
  • Contents
  • Blockchain
  • Account Management in Proof of Stake Ledgers
  • 1 Introduction
  • 1.1 Our Contributions and Roadmap
  • 1.2 Related Work
  • 1.3 Preliminaries
  • 2 General Desiderata
  • 3 Address Malleability
  • 4 The Core Proof-of-Stake Wallet
  • 4.1 The Core-Wallet Functionality
  • 4.2 The Core-Wallet Protocol
  • 4.3 Security of the Core-Wallet Protocol
  • 4.4 Address Construction and Wallet Recovery
  • 5 Integration of the Core-Wallet with PoS Consensus
  • 5.1 The PoS Wallet's Actions
  • 5.2 Participation in the PoS Protocol
  • 5.3 Consensus Security Under Stake Pools
  • 5.4 Attacks Against Stake Pooled PoS
  • References
  • Afgjort: A Partially Synchronous Finality Layer for Blockchains
  • 1 Introduction
  • 1.1 Our Contributions
  • 1.2 The Two-Layer Approach
  • 1.3 Our Techniques
  • 1.4 Related Work
  • 2 Preliminaries
  • 2.1 Model and Network Assumptions
  • 3 Abstract Model of Blockchains
  • 3.1 Desirable Properties and Bounds
  • 3.2 Discussion on Dishonest Chain Growth
  • 4 The Finality Layer
  • 4.1 Formalization
  • 5 Afgjort Protocol
  • 6 Weak Multi-valued Byzantine Agreement
  • 7 Experimental Results
  • References
  • Aggregatable Subvector Commitments for Stateless Cryptocurrencies
  • 1 Introduction
  • 1.1 Related Work
  • 2 Preliminaries
  • 2.1 KZG Polynomial Commitments
  • 2.2 Account-Based Stateless Cryptocurrencies
  • 3 Aggregatable Subvector Commitment (aSVC) Schemes
  • 3.1 aSVC API
  • 3.2 aSVC Correctness and Security Definitions
  • 3.3 aSVC from KZG Commitments to Lagrange Polynomials
  • 3.4 Partial Fraction Decomposition
  • 4 A Highly-Efficient Stateless Cryptocurrency
  • 4.1 From VCs to Stateless Cryptocurrencies
  • 4.2 Efficient Stateless Cryptocurrencies from aSVCs
  • 4.3 Discussion
  • 5 Conclusion
  • 2.1 Black-Box (Constant-Round) Bounded-Concurrent OT
  • 2.2 Composition of OT with OT-hybrid MPC
  • 3 Preliminaries
  • 4 Robust Zero-Knowledge and Commit-and-Prove
  • 5 Straight-Line Extractable Commitments
  • 6 Our Bounded Concurrent OT Protocol
  • 7 Our Bounded-Concurrent MPC Protocol
  • References
  • Communication-Efficient (Proactive) Secure Computation for Dynamic General Adversary Structures and Dynamic Groups
  • 1 Introduction
  • 2 Overview of Proactive MPC and Design Roadblocks
  • 2.1 Blueprint of Proactive Secret Sharing (PSS) and Proactive MPC (PMPC)