The DOI matches its Crossref record; 65 of the 68 references it cites were found in a registry or an index.
Smart contract applications within blockchain technology: A systematic mapping study
Overview
Integrity signals
Registry
Cites
Statistics
Verification
Claims the paper makes
Claims other papers make about this one
Each is checked against this paper’s own text: does it say what the citing paper says it does?
In the citing paper
“With the emergence of blockchain, smart contracts have become one of the most sought-after technologies because of their automated nature [196].”
From A survey on the adoption of blockchain in IoT: challenges and solutions (2021) · cites this paper as [196]
In the citing paper
“Smart contract stored in the public ledger is automatically running on the blockchain without the need of the third party when the contract associated event is triggered [196].”
From A survey on the adoption of blockchain in IoT: challenges and solutions (2021) · cites this paper as [196]
Citations
Cites
Bitcoin: A Peer-to-Peer Electronic Cash SystemPreprint
Squarepants, S. (2022) · SSRN Electronic Journal · doi:10.2139/ssrn.3977007 · Cited by 11,146
Time, clocks, and the ordering of events in a distributed system
Lamport, L. (1978) · Communications of the ACM · doi:10.1145/359545.359563 · Cited by 8,488
(2015) · Cited by 3,471
Systematic Mapping Studies in Software Engineering
Petersen, K., Feldt, R., Mujtaba, S., & Mattsson, M. (2008) · Electronic Workshops in Computing · doi:10.14236/ewic/ease2008.8 · Cited by 3,239 · cited 2×
“This also includes the identification of industry problems (Petersen et al., 2008) • Other (e.”
BackgroundMaking Smart Contracts Smarter
Luu, L., Chu, D.-H., Olickel, H., Saxena, P., & Hobor, A. (2016) · ACM SIGSAC Conference on Computer and Communications Security (CCS) · doi:10.1145/2976749.2978309 · Cited by 2,337
Hawk: The Blockchain Model of Cryptography and Privacy-Preserving Smart Contracts
Kosba, A., Miller, A., Shi, E., Wen, Z., & Papamanthou, C. (2016) · 2016 IEEE Symposium on Security and Privacy (SP) · doi:10.1109/sp.2016.55 · Cited by 2,227
A Survey on the Security of Blockchain Systems
Li, X., Jiang, P., Chen, T., Luo, X., & Wen, Q. (2020) · Future Generation Computer Systems · doi:10.1016/j.future.2017.08.020 · Cited by 1,772
A Survey of Attacks on Ethereum Smart Contracts (SoK)
Atzei, N., Bartoletti, M., & Cimoli, T. (2017) · Lecture Notes in Computer Science · doi:10.1007/978-3-662-54455-6_8 · Cited by 1,553
Ouroboros: A Provably Secure Proof-of-Stake Blockchain Protocol
Kiayias, A., Russell, A. C., David, B., & Oliynykov, R. (2017) · Lecture notes in computer science · doi:10.1007/978-3-319-63688-7_12 · Cited by 1,505
A Secure Sharding Protocol For Open Blockchains
Luu, L., Narayanan, V., Zheng, C., Baweja, K., Gilbert, S. L., & Saxena, P. (2016) · ACM SIGSAC Conference on Computer and Communications Security (CCS) · doi:10.1145/2976749.2978389 · Cited by 1,457
On Scaling Decentralized Blockchains
Croman, K., Decker, C., Eyal, I., Gencer, A. E., Juels, A., Kosba, A. E., Miller, A. E., Saxena, P., Shi, E., Sirer, E. G., et al. (2016) · Lecture notes in computer science · doi:10.1007/978-3-662-53357-4_8 · Cited by 1,199
Requirements engineering paper classification and evaluation criteria: a proposal and a discussion
Wieringa, R., Maiden, N., Mead, N., & Rolland, C. (2006) · Requirements Engineering · doi:10.1007/s00766-005-0021-6 · Cited by 940
Mastering Bitcoin: Unlocking Digital Crypto-Currencies
Antonopoulos, A. M. (2014) · Cited by 865
A methodology for systematic mapping in environmental sciences
James, K. L., Randall, N. P., & Haddaway, N. R. (2016) · Environmental Evidence · doi:10.1186/s13750-016-0059-6 · Cited by 769
Blockchain Based Smart Contracts : A Systematic Mapping Study
Alharby, M., & van Moorsel, A. (2017) · doi:10.5121/csit.2017.71011 · Cited by 605
Proof of activity: Extending bitcoin’s proof of work via proof of stake [extended abstract] y
Bentov, I., Lee, C., Mizrahi, A., & Rosenfeld, M. (2014) · ACM SIGMETRICS Performance Evaluation Review · doi:10.1145/2695533.2695545 · Cited by 592
Step by Step Towards Creating a Safe Smart Contract: Lessons and Insights from a Cryptocurrency Lab
Delmolino, K., Arnett, M., Kosba, A. E., Miller, A. E., & Shi, E. (2016) · Lecture notes in computer science · doi:10.1007/978-3-662-53357-4_6 · Cited by 521
The Blockchain as a Software Connector
Xu, X., Pautasso, C., Zhu, L., Gramoli, V., Ponomarev, A., Tran, A. B., & Chen, S. (2016) · Working IEEE/IFIP Conference on Software Architecture (WICSA) · doi:10.1109/wicsa.2016.21 · Cited by 491
An Empirical Analysis of Smart Contracts: Platforms, Applications, and Design Patterns
Bartoletti, M., & Pompianu, L. (2017) · Lecture Notes in Computer Science · doi:10.1007/978-3-319-70278-0_31 · Cited by 458
Under-optimized smart contracts devour your money
Chen, T., Li, X., Luo, X., & Zhang, X. (2017) · IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER) · doi:10.1109/saner.2017.7884650 · Cited by 410
Secure Multiparty Computations on Bitcoin
Andrychowicz, M., Dziembowski, S., Malinowski, D., & Mazurek, Ł. (2014) · IEEE Symposium on Security and Privacy (S&P) · doi:10.1109/sp.2014.35 · Cited by 348
How to Use Bitcoin to Design Fair Protocols
Bentov, I., & Kumaresan, R. (2014) · Lecture notes in computer science · doi:10.1007/978-3-662-44381-1_24 · Cited by 345
Blockchain-Oriented Software Engineering: Challenges and New Directions
Porru, S., Pinna, A., Marchesi, M., & Tonelli, R. (2017) · ACM/IEEE International Conference on Software Engineering: Companion Proceedings (ICSE-Companion) · doi:10.1109/icse-c.2017.142 · Cited by 345
On the Instability of Bitcoin Without the Block Reward
Carlsten, M., Kalodner, H., Weinberg, S. M., & Narayanan, A. (2016) · ACM SIGSAC Conference on Computer and Communications Security (CCS) · doi:10.1145/2976749.2978408 · Cited by 335
Idris, a general-purpose dependently typed programming language: Design and implementation
Brady, E. C. (2013) · Journal of Functional Programming · doi:10.1017/s095679681300018x · Cited by 330
Dependent types and multi-monadic effects in F*
Swamy, N., Hriţcu, C., Keller, C., Rastogi, A., Delignat-Lavaud, A., Forest, S., Bhargavan, K., Cédric Fournet, A., Strub, P.-Y., Kohlweiss, M., et al. (2016) · ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL) · doi:10.1145/2837614.2837655 · Cited by 323
Boneh, D., & Naor, M. (2000) · Lecture notes in computer science · doi:10.1007/3-540-44598-6_15 · Cited by 309
Defining the Ethereum Virtual Machine for Interactive Theorem Provers
Hirai, Y. (2017) · Lecture notes in computer science · doi:10.1007/978-3-319-70278-0_33 · Cited by 289
Towards verifying ethereum smart contract bytecode in Isabelle/HOL
Amani, S., Bégel, M., Bortin, M., & Staples, M. (2017) · ACM SIGPLAN International Conference on Certified Programs and Proofs (CPP) · doi:10.1145/3167084 · Cited by 266
Milutinovic, M., He, W., Wu, H., & Kanwal, M. (2016) · Workshop on System Software for Trusted Execution (SysTEX) · doi:10.1145/3007788.3007790 · Cited by 246
Demystifying Incentives in the Consensus Computer
Luu, L., Teutsch, J., Kulkarni, R., & Saxena, P. (2015) · ACM SIGSAC Conference on Computer and Communications Security (CCS) · doi:10.1145/2810103.2813659 · Cited by 234
Bitcoin and the rise of decentralized autonomous organizations
Hsieh, Y., Vergne, J., Anderson, P., Lakhani, K. R., & Reitzig, M. G. (2018) · Journal of Organization Design · doi:10.1186/s41469-018-0038-1 · Cited by 215
Proof of Activity: Extending Bitcoin's Proof of Work via Proof of StakePreprint
Bentov, I., Lee, C., Mizrahi, A., & Rosenfeld, M. (2014) · IACR Cryptology ePrint Archive · Cited by 214
Garousi, V., Felderer, M., & Mäntylä, M. V. (2016) · Proceedings of the 20th International Conference on Evaluation and Assessment in Software Engineering · doi:10.1145/2915970.2916008 · Cited by 210
Snow White: Provably Secure Proofs of Stake.Preprint
Bentov, I., Pass, R., & Shi, E. (2016) · IACR Cryptology ePrint Archive · Cited by 197
Online detection of effectively callback free objects with applications to smart contracts
Grossman, S., Abraham, I., Golan-Gueta, G., Michalevsky, Y., Rinetzky, N., Sagiv, M., & Zohar, Y. (2017) · Proceedings of the ACM on Programming Languages · doi:10.1145/3158136 · Cited by 185
Ethereum: State of Knowledge and Research Perspectives
Tikhomirov, S. (2018) · Lecture notes in computer science · doi:10.1007/978-3-319-75650-9_14 · Cited by 174
Requirements engineering education: a systematic mapping study
Ouhbi, S., Idri, A., Fernández‐Alemán, J. L., & Toval, A. (2013) · Requirements Engineering · doi:10.1007/s00766-013-0192-5 · Cited by 150
On Bitcoin as a public randomness source.
Bonneau, J., Clark, J., & Goldfeder, S. (2015) · Cited by 126
Natoli, C., & Gramoli, V. (2016) · IEEE International Symposium on Network Computing and Applications (NCA) · doi:10.1109/nca.2016.7778635 · Cited by 122
Automated Execution of Financial Contracts on Blockchains
Egelund-Müller, B., Elsman, M., Henglein, F., & Ross, O. (2017) · Business & Information Systems Engineering · doi:10.1007/s12599-017-0507-z · Cited by 122
An Analysis of Bitcoin OP_RETURN Metadata
Bartoletti, M., & Pompianu, L. (2017) · Lecture notes in computer science · doi:10.1007/978-3-319-70278-0_14 · Cited by 109
A Concurrent Perspective on Smart Contracts
Sergey, I., & Hobor, A. (2017) · Lecture notes in computer science · doi:10.1007/978-3-319-70278-0_30 · Cited by 106
SMART POOL : Practical Decentralized Pooled Mining.Preprint
Luu, L., Velner, Y., Teutsch, J., & Saxena, P. (2017) · IACR Cryptology ePrint Archive · Cited by 102
Setting Standards for Altering and Undoing Smart Contracts
Marino, B., & Juels, A. (2016) · Lecture notes in computer science · doi:10.1007/978-3-319-42019-6_10 · Cited by 86
Escrow Protocols for Cryptocurrencies: How to Buy Physical Goods Using Bitcoin
Goldfeder, S., Bonneau, J., Gennaro, R., & Narayanan, A. (2017) · Lecture notes in computer science · doi:10.1007/978-3-319-70972-7_18 · Cited by 72
Scripting smart contracts for distributed ledger technologyPreprint
Seijas, P. L., Thompson, S., & McAdams, D. (2017) · IACR Cryptology ePrint Archive · doi:10.13140/rg.2.2.20839.85920 · Cited by 68
Smart Contracts Make Bitcoin Mining Pools Vulnerable
Velner, Y., Teutsch, J., & Luu, L. (2017) · Lecture notes in computer science · doi:10.1007/978-3-319-70278-0_19 · Cited by 65
Towards verifying ethereum smart contract bytecode in Isabelle/HOL
Amani, S., Bégel, M., Bortin, M., et al. (2017) · doi:10.1145/3176245.3167084 · Cited by 63
2-hop Blockchain: Combining Proof-of-Work and Proof-of-Stake Securely
Duong, T., Fan, L., Katz, J. I., Thai, P. D., & Zhou, H.-S. (2020) · Lecture notes in computer science · doi:10.1007/978-3-030-59013-0_34 · Cited by 59
Ethereum Smart Contracts: Security Vulnerabilities and Security Tools
Dika, A. (2017) · NORA - Norwegian Open Research Archives · Cited by 52
Legally-Enforceable Fairness in Secure Two-Party Computation
Lindell, A. Y. (2008) · Lecture notes in computer science · doi:10.1007/978-3-540-79263-5_8 · Cited by 50
Malleability of the blockchain’s entropy
Pierrot, C., & Wesolowski, B. (2017) · Cryptography and Communications · doi:10.1007/s12095-017-0264-3 · Cited by 49
A Systematic Mapping Study on Requirements Engineering in Software Ecosystems
Vegendla, A., Duc, A. N., Gao, S. H., & Sindre, G. (2017) · Journal of Information Technology Research · doi:10.4018/jitr.2018010104 · Cited by 47
Self-citationBlockchain Enabled Applications: Understand the Blockchain Ecosystem and How to Make it Work for You
Dhillon, V. S., Metcalf, D. H., & Hooper, M. (2021) · CERN Document Server (European Organization for Nuclear Research) · Cited by 44
An empirical analysis of smart contracts: platforms, applications, and design patternsPreprint
Bartoletti, M., & Pompianu, L. (2017) · arXiv (Cornell University) · doi:10.48550/arxiv.1703.06322 · Cited by 41
Usable optimistic fair exchange
Küpçü, A., & Lysyanskaya, A. (2011) · Computer Networks · doi:10.1016/j.comnet.2011.08.005 · Cited by 39
Cryptocurrencies and Bitcoin: Charting the Research Landscape
Morisse, M. (2015) · Journal of the Association for Information Systems · Cited by 37
Experiments in Computing: A Survey
Tedre, M., & Moisseinen, N. (2014) · The Scientific World JOURNAL · doi:10.1155/2014/549398 · Cited by 31
Recycling Smart Contracts: Compression of the Ethereum Blockchain
Pontiveros, B. B. F., Norvill, R., & State, R. (2018) · IFIP International Conference on New Technologies, Mobility and Security (NTMS) · doi:10.1109/ntms.2018.8328742 · Cited by 25
Revive: Rebalancing Off-Blockchain Payment Networks.Preprint
Khalil, R. A., & Gervais, A. (2017) · IACR Cryptology ePrint Archive · Cited by 25
The Seconomics (Security-Economics) Vulnerabilities of Decentralized Autonomous Organizations
Massacci, F., Ngo, C. N., Nie, J., Venturi, D., & Williams, J. M. (2017) · Lecture notes in computer science · doi:10.1007/978-3-319-71075-4_19 · Cited by 15
Multi-mode Cryptocurrency Systems
Duong, T., Chepurnoy, A., & Zhou, H.-S. (2018) · doi:10.1145/3205230.3205237 · Cited by 8
Trust and verifiable computation for smart contracts in permissionless blockchains
Harz, D. (2017) · KTH Publication Database DiVA (KTH Royal Institute of Technology) · Cited by 4
Analysing blockchains and smart contracts: tools and techniques
Pompianu, L. (2018) · UNICA IRIS Institutional Research Information System (University of Cagliari) · doi:10.13140/rg.2.2.19734.04161 · Cited by 2
Research works printed but not linked: 6
- Andrychowicz, M., Dziembowski, S., Malinowski, D., Mazurek, Ł., 2014b. Fair two-party computations via bitcoin deposits. · DOI
- Bowden, R., Keeler, H.P., Krzesinski, A.E., Taylor, P.G., 2018. Block arrivals in the Bitcoin blockchain. arXiv preprint arXiv:1801.07447. · arXiv
- Buterin, V., Griffith, V., 2017. Casper the Friendly Finality Gadget. arXiv preprint arXiv:1710.09437. · arXiv
- Gencer, A. E., van Renesse, R., & Sirer, E. G. 2016. Service-Oriented Sharding with Aspen. arXiv preprint arXiv:1611.06816. · arXiv
- Micali, S., 2016. Algorand: the efficient and democratic ledger. arXiv preprint arXiv:1607.01341. · arXiv
- Moinet, A., Darties, B., Baril, J.-L., 2017. Blockchain based trust & authentication for decentralized sensor networks. arXiv preprint arXiv:1706.01730. · arXiv
Cited by
Sorted by citations
Blockchain technology and the sustainable supply chain: Theoretically exploring adoption barriers
Kouhizadeh, M., Saberi, S., & Sarkis, J. (2020) · International Journal of Production Economics · doi:10.1016/j.ijpe.2020.107831 · Cited by 1,699
An overview on smart contracts: Challenges, advances and platforms
Zheng, Z., Xie, S., Dai, H., Chen, W., Chen, X., Weng, J., & Imran, M. A. (2019) · Future Generation Computer Systems · doi:10.1016/j.future.2019.12.019 · Cited by 1,242
A survey of blockchain from the perspectives of applications, challenges, and opportunities
Monrat, A. A., Schelen, O., & Andersson, K. (2019) · IEEE Access · doi:10.1109/access.2019.2936094 · Cited by 1,077
Blockchain smart contracts: Applications, challenges, and future trends
Khan, S. N., Loukil, F., Ghedira-Guegan, C., Benkhelifa, E., & Bani-Hani, A. I. (2021) · Peer-to-Peer Networking and Applications · doi:10.1007/s12083-021-01127-0 · Cited by 971
Blockchain Technology in Healthcare: A Comprehensive Review and Directions for Future Research
Khezr, S., Moniruzzaman, M., Yassine, A., & Benlamri, R. (2019) · Applied Sciences · doi:10.3390/app9091736 · Cited by 575
Metadata
- Authors
- Macrinici, D., Cartofeanu, C., & Gao, S.
- Affiliations
- Örebro University (SE)
- Corresponding author
- Gao, Shang
- Venue
- Telematics and Informatics
- Publisher
- Elsevier BV
- Published
- 2018-12
- Volume
- 35
- Issue
- 8
- Pages
- 2337-2354
- ISSN
- 0736-5853 (ISSN-L)
- OpenAlex
- W2894955077
- Cited by
- 458
- References
- 68
- Citations by year
- 2026: 13 · 2025: 36 · 2024: 59 · 2023: 55 · 2022: 91 · 2021: 107 · 2020: 69 · 2019: 28
- FWCI
- 82.30
- Type
- journal article
- Language
- en
- Open access
- closed
- Locations
- Telematics and Informatics (publishedVersion)
- Topics
- Physical Sciences › Computer Science › Information Systems › Blockchain Technology Applications and Security
- Social Sciences › Law › Digital Transformation in Law
- Physical Sciences › Computer Science › Information Systems › Blockchain Technology in Education and Learning
- Keywords
- smart contracts, blockchain, blockchain security, blockchain privacy, blockchain scalability, research trends
About these checks
Registry, retraction, Cites and statistics results are computed, not judged, with one exception: a printed reference that no index lists is read once by a model before it counts as a citation error. Claims are extracted by a model and kept only when their quote appears verbatim in the text; each cited source is then checked, with a model’s help, for whether it says what the claim relies on. Those verdicts can be wrong — read the claim’s quote and the cited source before relying on one.
Statistics and arithmetic are recomputed, not judged.
Confidence bands are shown only for fields calibrated on our annotated test set. None is calibrated yet, so no band is shown.
What counts as a claim ›How we measure confidence ›How we check this ›
Are you an author, or do you see a problem with this page? Request a review
