Fetching the paper…
Reading the bibliography…
Recently, the birth of non-fungible tokens (NFTs) has attracted great attention.
IEEE Standards Collection for Software Engineering
1994 · 1994
Earlier work this paper cites.
Handbook of software reliability engineering . Vol. 222
Michael R Lyu et al · 1996
Earlier work this paper cites.
Formalizing and securing relationships on public networks
Nick Szabo. 1997 · 1997
Earlier work this paper cites.
Bad smells in code
Kent Beck, Martin Fowler, and Grandma Beck. 1999 · 1999
Earlier work this paper cites.
Z3: An efficient SMT solver. In International conference on Tools and Algorithms for the Construction and Analysis of Systems . Springer, 337–340
Leonardo de Moura and Nikolaj Bjørner. 2008 · 2008
Earlier work this paper cites.
Card sorting: Designing usable categories
Donna Spencer. 2009 · 2009
Earlier work this paper cites.
Sailfish: A framework for large scale data processing. In Proceedings of the Third ACM Symposium on Cloud Computing . 1–14
Sriram Rao, Raghu Ramakrishnan, Adam Silberstein, Mike Ovsiannikov, and Damian Reeves. 2012 · 2012
Earlier work this paper cites.
EIP-20: Token Standard
Vitalik Buterin Fabian Vogelsteller. 2015 · 2015
Earlier work this paper cites.
Making smart contracts smarter. In Proceedings of the 2016 ACM SIGSAC conference on computer and communications security . 254–269
Loi Luu, Duc-Hiep Chu, Hrishi Olickel, Prateek Saxena, and Aquinas Hobor. 2016 · 2016
Earlier work this paper cites.
An overview of blockchain technology: Architecture, consensus, and future trends. In 2017 IEEE international congress on big data (BigData congress) . Ieee, 557–564
Zibin Zheng, Shaoan Xie, Hongning Dai, Xiangping Chen, and Huaimin Wang. 2017 · 2017
Earlier work this paper cites.
EIP-165: Standard Interface Detection
Fabian Vogelsteller Jordi Baylina Konrad Feldmeier William Entriken Christian Reitwießner, Nick Johnson. 2018 · 2018
Earlier work this paper cites.
Contractfuzzer: Fuzzing smart contracts for vulnerability detection. In 2018 33rd IEEE/ACM International Conference on Automated Software Engineering (ASE) . IEEE, 259–269
Bo Jiang, Ye Liu, and Wing Kwong Chan. 2018 · 2018
Earlier work this paper cites.
Zeus: analyzing safety of smart contracts.. In Ndss . 1–12
Sukrit Kalra, Seep Goel, Mohan Dhawan, and Subodh Sharma. 2018 · 2018
Earlier work this paper cites.
Reguard: finding reentrancy bugs in smart contracts. In 2018 IEEE/ACM 40th International Conference on Software Engineering: Companion (ICSE-Companion) . IEEE, 65–68
Chao Liu, Han Liu, Zhao Cao, Zhong Chen, Bangdao Chen, and Bill Roscoe. 2018 · 2018
Earlier work this paper cites.
Finding the greedy, prodigal, and suicidal contracts at scale. In Proceedings of the 34th annual computer security applications conference . 653–663
Ivica Nikolić, Aashish Kolluri, Ilya Sergey, Prateek Saxena, and Aquinas Hobor. 2018 · 2018
Earlier work this paper cites.
Osiris: Hunting for integer bugs in ethereum smart contracts. In Proceedings of the 34th Annual Computer Security Applications Conference . 664–676
Christof Ferreira Torres, Julian Schütte, and Radu State. 2018 · 2018
Earlier work this paper cites.
Securify: Practical security analysis of smart contracts. In Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications Security . 67–82
Petar Tsankov, Andrei Dan, Dana Drachsler-Cohen, Arthur Gervais, Florian Buenzli, and Martin Vechev. 2018 · 2018
Earlier work this paper cites.
EIP-721: Non-Fungible Token Standard
Jacob Evans Nastassia Sachs William Entriken, Dieter Shirley. 2018 · 2018
Earlier work this paper cites.
ERC-1155: Multi Token Standard
Witek Radomski, Andrew Cooke, Philippe Castonguay, James Therien, Eric Binet, Ronan Sandford 2018 · 2018
Cited alongside, same era.
Blockchain challenges and opportunities: A survey
Zibin Zheng, Shaoan Xie, Hong-Ning Dai, Xiangping Chen, and Huaimin Wang. 2018 · 2018
Cited alongside, same era.
A large-scale empirical study on control flow identification of smart contracts. In 2019 ACM/IEEE International Symposium on Empirical Software Engineering and Measurement (ESEM) . IEEE, 1–11
Ting Chen, Zihao Li, Yufei Zhang, Xiapu Luo, Ting Wang, Teng Hu, Xiuzhuo Xiao, Dong Wang, Jin Huang, and Xiaosong Zhang. 2019 · 2019
Cited alongside, same era.
Slither: a static analysis framework for smart contracts. In 2019 IEEE/ACM 2nd International Workshop on Emerging Trends in Software Engineering for Blockchain (WETSEB) . IEEE, 8–15
Josselin Feist, Gustavo Grieco, and Alex Groce. 2019 · 2019
Cited alongside, same era.
Ethainter: a smart contract security analyzer for composite vulnerabilities. In Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation . 454–469
OpenZeppelin - ReentrancyGuard
2022 · 2022
Later among the works it cites.
PeckShield
2022 · 2022
Later among the works it cites.
Slowmist
2022 · 2022
Later among the works it cites.
Smart contract statistic
2022 · 2022
Later among the works it cites.
Solidity 0.8.16 documentation
2022 · 2022
Later among the works it cites.
Source Mappings — Solidity 0.8.16 documentation
2022 · 2022
Later among the works it cites.
Stack Overflow - Where Developers Learn, Share, & Build Careers
2022 · 2022
Later among the works it cites.
alphaXiv searches the wider corpus for related work and actual follow-ups.
alphaXiv is searching for related work…
Lexi Brent, Neville Grech, Sifis Lagouvardos, Bernhard Scholz, and Yannis Smaragdakis. 2020 · 2020
Cited alongside, same era.
Defining smart contract defects on ethereum
Jiachi Chen, Xin Xia, David Lo, John Grundy, Xiapu Luo, and Ting Chen. 2020 · 2020
Cited alongside, same era.
SmartBugs: a framework to analyze solidity smart contracts. In Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering . 1349–1352
João F Ferreira, Pedro Cruz, Thomas Durieux, and Rui Abreu. 2020 · 2020
Cited alongside, same era.
Echidna: effective, usable, and fast fuzzing for smart contracts. In Proceedings of the 29th ACM SIGSOFT International Symposium on Software Testing and Analysis . 557–560
Gustavo Grieco, Will Song, Artur Cygan, Josselin Feist, and Alex Groce. 2020 · 2020
Cited alongside, same era.
sfuzz: An efficient adaptive fuzzer for solidity smart contracts. In Proceedings of the ACM/IEEE 42nd International Conference on Software Engineering . 778–788
Tai D Nguyen, Long H Pham, Jun Sun, Yun Lin, and Quang Tran Minh. 2020 · 2020
Cited alongside, same era.
Digital scarcity
Jaya Klara Brekke and Aron Fischer. 2021 · 2021
Cited alongside, same era.
Defectchecker: Automated smart contract defect detection by analyzing evm bytecode
Jiachi Chen, Xin Xia, David Lo, John Grundy, Xiapu Luo, and Ting Chen. 2021 · 2021
Cited alongside, same era.
Smartian: Enhancing smart contract fuzzing with static and dynamic data-flow analyses. In 2021 36th IEEE/ACM International Conference on Automated Software Engineering (ASE) . IEEE, 227–239
Jaeseung Choi, Doyeon Kim, Soomin Kim, Gustavo Grieco, Alex Groce, and Sang Kil Cha. 2021 · 2021
Cited alongside, same era.
2022 · 2022
Later among the works it cites.
How to transfer a NFT from one account to another using ERC721?
acampana. 2022 · 2022
Later among the works it cites.
Strategies for Reserved NFTs in Generative NFT Sets
Jim Dee. 2022 · 2022
Later among the works it cites.
OpenSea, the largest NFT marketplace
OpenSea. 2022 · 2022
Later among the works it cites.
ERC721 - OpenZeppelin Docs
OpenZeppelin. 2022 · 2022
Later among the works it cites.
NFT MARKET– STATISTICS 2021-2022
Carmen Siakam. 2022 · 2022
Later among the works it cites.
Unlimited Minting of Bored Ape Yacht Club NFTs?
Smartmud. 2022 · 2022
Later among the works it cites.
Sample Size Calculator
Confidence interval Calculator 2023 · 2023
Closest in time.
How The DAO Hack Changed Ethereum and Crypto
How The DAO Hack Changed Ethereum and Crypto 2023 · 2023
Closest in time.
Securify 2.0
Securify 2.0 2023 · 2023
Closest in time.
Confidence interval
Wikipedia 2023 · 2023
Closest in time.