↓ 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 Tale of Two Browsers: Understanding Users’ Web Browser Choices in South Korea
  3. Altmetric Badge
    Chapter 2 User-Centered Risk Communication for Safer Browsing
  4. Altmetric Badge
    Chapter 3 Secure Email - A Usability Study
  5. Altmetric Badge
    Chapter 4 The Effects of Cue Utilization and Cognitive Load in the Detection of Phishing Emails
  6. Altmetric Badge
    Chapter 5 Cue Utilization, Phishing Feature and Phishing Email Detection
  7. Altmetric Badge
    Chapter 6 Dis -Empowerment Online: An Investigation of Privacy-Sharing Perceptions and Method Preferences
  8. Altmetric Badge
    Chapter 7 Security and Privacy Awareness in Smart Environments – A Cross-Country Investigation
  9. Altmetric Badge
    Chapter 8 Understanding Perceptions of Smart Devices
  10. Altmetric Badge
    Chapter 9 In Our Employer We Trust: Mental Models of Office Workers’ Privacy Perceptions
  11. Altmetric Badge
    Chapter 10 Behaviour of Outsourced Employees as Sources of Information System Security Threats
  12. Altmetric Badge
    Chapter 11 Exploring Effects of Auditory Stimuli on CAPTCHA Performance
  13. Altmetric Badge
    Chapter 12 PassPage: Graphical Password Authentication Scheme Based on Web Browsing Records
  14. Altmetric Badge
    Chapter 13 Empathy as a Response to Frustration in Password Choice
  15. Altmetric Badge
    Chapter 14 Fixing the Fixes: Assessing the Solutions of SAST Tools for Securing Password Storage
  16. Altmetric Badge
    Chapter 15 Incorporating Psychology into Cyber Security Education: A Pedagogical Approach
  17. Altmetric Badge
    Chapter 16 Effectiveness of Multi-stakeholder Discussions for Decentralized Finance: A Conference Report of CoDeFi 2020
  18. Altmetric Badge
    Chapter 17 Multistakeholder Governance for the Internet
  19. Altmetric Badge
    Chapter 18 Future of Finance
  20. Altmetric Badge
    Chapter 19 Securing Cryptocurrency Exchange: Building up Standard from Huge Failures
  21. Altmetric Badge
    Chapter 20 Origami Voting: A Non-cryptographic Approach to Transparent Ballot Verification
  22. Altmetric Badge
    Chapter 21 Towards Improving the Efficacy of Code-Based Verification in Internet Voting
  23. Altmetric Badge
    Chapter 22 Short Paper: Mechanized Proofs of Verifiability and Privacy in a Paper-Based E-Voting Scheme
  24. Altmetric Badge
    Chapter 23 Sets of Half-Average Nulls Generate Risk-Limiting Audits: SHANGRLA
  25. Altmetric Badge
    Chapter 24 A Note on Risk-Limiting Bayesian Polling Audits for Two-Candidate Elections
  26. Altmetric Badge
    Chapter 25 Vote Selling Resistant Voting
  27. Altmetric Badge
    Chapter 26 Short Paper: An Update on Marked Mix-Nets: An Attack, a Fix and PQ Possibilities
  28. Altmetric Badge
    Chapter 27 Performance of Shuffling: Taking It to the Limits
  29. Altmetric Badge
    Chapter 28 Characterizing Types of Smart Contracts in the Ethereum Landscape
  30. Altmetric Badge
    Chapter 29 Smart Contract Development from the Perspective of Developers: Topics and Issues Discussed on Social Media
  31. Altmetric Badge
    Chapter 30 Bypassing Non-Outsourceable Proof-of-Work Schemes Using Collateralized Smart Contracts
  32. Altmetric Badge
    Chapter 31 Scalable Open-Vote Network on Ethereum
  33. Altmetric Badge
    Chapter 32 How to Dynamically Incentivize Sufficient Level of IoT Security
  34. Altmetric Badge
    Chapter 33 Confidential and Auditable Payments
  35. Altmetric Badge
    Chapter 34 MAPPCN: Multi-hop Anonymous and Privacy-Preserving Payment Channel Network
  36. Altmetric Badge
    Chapter 35 Marlowe: Implementing and Analysing Financial Contracts on Blockchain
  37. Altmetric Badge
    Chapter 36 Load Balancing for Sharded Blockchains
  38. Altmetric Badge
    Chapter 37 The Extended UTXO Model
  39. Altmetric Badge
    Chapter 38 Privacy-Preserving Cross-Chain Atomic Swaps
  40. Altmetric Badge
    Chapter 39 A Blockchain Based Approach to Resource Sharing in Smart Neighbourhoods
  41. Altmetric Badge
    Chapter 40 Enforcing Determinism of Java Smart Contracts
  42. Altmetric Badge
    Chapter 41 Albert, An Intermediate Smart-Contract Language for the Tezos Blockchain
  43. Altmetric Badge
    Chapter 42 A Formally Verified Static Analysis Framework for Compositional Contracts
Attention for Chapter 40: Enforcing Determinism of Java Smart Contracts
Altmetric Badge

Mentioned by

twitter
4 X users

Citations

dimensions_citation
2 Dimensions

Readers on

mendeley
12 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
Enforcing Determinism of Java Smart Contracts
Chapter number 40
Book title
Financial Cryptography and Data Security
Published by
Springer, Cham, February 2020
DOI 10.1007/978-3-030-54455-3_40
Book ISBNs
978-3-03-054454-6, 978-3-03-054455-3
Authors

Fausto Spoto, Spoto, Fausto

X Demographics

X Demographics

The data shown below were collected from the profiles of 4 X users who shared this research output. Click here to find out more about how the information was compiled.
Mendeley readers

Mendeley readers

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

Geographical breakdown

Country Count As %
Unknown 12 100%

Demographic breakdown

Readers by professional status Count As %
Student > Ph. D. Student 3 25%
Researcher 3 25%
Lecturer 2 17%
Student > Master 2 17%
Unknown 2 17%
Readers by discipline Count As %
Computer Science 6 50%
Engineering 2 17%
Social Sciences 1 8%
Physics and Astronomy 1 8%
Unknown 2 17%