↓ Skip to main content

Financial Cryptography and Data Security

Overview of attention for book
Cover of 'Financial Cryptography and Data Security'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Biased Nonce Sense: Lattice Attacks Against Weak ECDSA Signatures in Cryptocurrencies
  3. Altmetric Badge
    Chapter 2 Snow White: Robustly Reconfigurable Consensus and Applications to Provably Secure Proof of Stake
  4. Altmetric Badge
    Chapter 3 Compounding of Wealth in Proof-of-Stake Cryptocurrencies
  5. Altmetric Badge
    Chapter 4 Short Paper: I Can’t Believe It’s Not Stake! Resource Exhaustion Attacks on PoS
  6. Altmetric Badge
    Chapter 5 Short Paper: An Exploration of Code Diversity in the Cryptocurrency Landscape
  7. Altmetric Badge
    Chapter 6 Short Paper: An Empirical Analysis of Blockchain Forks in Bitcoin
  8. Altmetric Badge
    Chapter 7 Detecting Token Systems on Ethereum
  9. Altmetric Badge
    Chapter 8 Measuring Ethereum-Based ERC20 Token Networks
  10. Altmetric Badge
    Chapter 9 New Empirical Traceability Analysis of CryptoNote-Style Blockchains
  11. Altmetric Badge
    Chapter 10 Short Paper: An Empirical Analysis of Monero Cross-chain Traceability
  12. Altmetric Badge
    Chapter 11 PRCash: Fast, Private and Regulated Transactions for Digital Currencies
  13. Altmetric Badge
    Chapter 12 ZLiTE: Lightweight Clients for Shielded Zcash Transactions Using Trusted Execution
  14. Altmetric Badge
    Chapter 13 Designed to Be Broken: A Reverse Engineering Study of the 3D Secure 2.0 Payment Protocol
  15. Altmetric Badge
    Chapter 14 Short Paper: Making Contactless EMV Robust Against Rogue Readers Colluding with Relay Attackers
  16. Altmetric Badge
    Chapter 15 Short Paper: How to Attack PSD2 Internet Banking
  17. Altmetric Badge
    Chapter 16 Your Money or Your Life—Modeling and Analyzing the Security of Electronic Payment in the UC Framework
  18. Altmetric Badge
    Chapter 17 Secure Trick-Taking Game Protocols
  19. Altmetric Badge
    Chapter 18 ROYALE: A Framework for Universally Composable Card Games with Financial Rewards and Penalties Enforcement
  20. Altmetric Badge
    Chapter 19 Universally Verifiable MPC and IRV Ballot Counting
  21. Altmetric Badge
    Chapter 20 Synchronous Byzantine Agreement with Expected O(1) Rounds, Expected $$O(n^2)$$ Communication, and Optimal Resilience
  22. Altmetric Badge
    Chapter 21 Oblivious PRF on Committed Vector Inputs and Application to Deduplication of Encrypted Data
  23. Altmetric Badge
    Chapter 22 Adaptively Secure Constrained Pseudorandom Functions
  24. Altmetric Badge
    Chapter 23 LARA: A Design Concept for Lattice-Based Encryption
  25. Altmetric Badge
    Chapter 24 Short Paper: The Proof is in the Pudding
  26. Altmetric Badge
    Chapter 25 Minimizing Trust in Hardware Wallets with Two Factor Signatures
  27. Altmetric Badge
    Chapter 26 A Formal Treatment of Hardware Wallets
  28. Altmetric Badge
    Chapter 27 VeriSolid: Correct-by-Design Smart Contracts for Ethereum
  29. Altmetric Badge
    Chapter 28 Bitcoin Security Under Temporary Dishonest Majority
  30. Altmetric Badge
    Chapter 29 VAPOR: A Value-Centric Blockchain that is Scale-out, Decentralized, and Flexible by Design
  31. Altmetric Badge
    Chapter 30 Sprites and State Channels: Payment Networks that Go Faster Than Lightning
  32. Altmetric Badge
    Chapter 31 Echoes of the Past: Recovering Blockchain Metrics from Merged Mining
  33. Altmetric Badge
    Chapter 32 TxProbe: Discovering Bitcoin’s Network Topology Using Orphan Transactions
  34. Altmetric Badge
    Chapter 33 Forecasting Suspicious Account Activity at Large-Scale Online Service Providers
  35. Altmetric Badge
    Chapter 34 Thinking Like a Fraudster: Detecting Fraudulent Transactions via Statistical Sequential Features
  36. Altmetric Badge
    Chapter 35 Secure Multiparty PageRank Algorithm for Collaborative Fraud Detection
  37. Altmetric Badge
    Chapter 36 HEALED: HEaling & Attestation for Low-End Embedded Devices
  38. Altmetric Badge
    Chapter 37 One-Time Programs Made Practical
  39. Altmetric Badge
    Chapter 38 Statement Voting
  40. Altmetric Badge
    Chapter 39 Fast Authentication from Aggregate Signatures with Improved Security
Attention for Chapter 27: VeriSolid: Correct-by-Design Smart Contracts for Ethereum
Altmetric Badge

Citations

dimensions_citation
7 Dimensions

Readers on

mendeley
111 Mendeley
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Chapter title
VeriSolid: Correct-by-Design Smart Contracts for Ethereum
Chapter number 27
Book title
Financial Cryptography and Data Security
Published by
Springer, Cham, September 2019
DOI 10.1007/978-3-030-32101-7_27
Book ISBNs
978-3-03-032100-0, 978-3-03-032101-7
Authors

Anastasia Mavridou, Aron Laszka, Emmanouela Stachtiari, Abhishek Dubey, Mavridou, Anastasia, Laszka, Aron, Stachtiari, Emmanouela, Dubey, Abhishek

Mendeley readers

Mendeley readers

The data shown below were compiled from readership statistics for 111 Mendeley readers of this research output. Click here to see the associated Mendeley record.

Geographical breakdown

Country Count As %
Unknown 111 100%

Demographic breakdown

Readers by professional status Count As %
Student > Ph. D. Student 21 19%
Student > Master 21 19%
Researcher 13 12%
Student > Bachelor 8 7%
Student > Doctoral Student 4 4%
Other 13 12%
Unknown 31 28%
Readers by discipline Count As %
Computer Science 61 55%
Engineering 5 5%
Business, Management and Accounting 4 4%
Social Sciences 2 2%
Physics and Astronomy 1 <1%
Other 3 3%
Unknown 35 32%