Fetching the paper…
Reading the bibliography…
Smart contracts are software programs featuring both traditional applications and distributed data storage on blockchains.
1908
Earlier work this paper cites.
J. Niehans, “Transaction costs,” in Money . Springer, 1989, pp. 320–327
1989
Earlier work this paper cites.
C. Cowan, C. Pu, D. Maier, J. Walpole, P. Bakke, S. Beattie, A. Grier, P. Wagle, Q. Zhang, and H. Hinton, “Stackguard: Automatic adaptive detection and prevention of buffer-overflow attacks.” in USENIX Security Symposium , vol. 98. San Antonio, TX, 1998, pp. 63–78
1998
Earlier work this paper cites.
W. Aiello, F. Chung, and L. Lu, “A random graph model for massive graphs,” in STOC , vol. 2000. Citeseer, 2000, pp. 1–10
2000
Earlier work this paper cites.
J. C. Reynolds, “Separation logic: A logic for shared mutable data structures,” in Proceedings 17th Annual IEEE Symposium on Logic in Computer Science . IEEE, 2002, pp. 55–74
2002
Earlier work this paper cites.
C. Cowan, S. Beattie, J. Johansen, and P. Wagle, “Pointguardtm: Protecting pointers from buffer overflow vulnerabilities,” in Proceedings of the 12th conference on USENIX Security Symposium , vol. 12, 2003, pp. 91–104
2003
Earlier work this paper cites.
M. Howard, D. LeBlanc, and J. Viega, “19 deadly sins of software security,” Programming Flaws and How to Fix Them , 2005
2005
Earlier work this paper cites.
K. Tsipenyuk, B. Chess, and G. McGraw, “Seven pernicious kingdoms: A taxonomy of software security errors,” IEEE Security & Privacy , vol. 3, no. 6, pp. 81–84, 2005
2005
Earlier work this paper cites.
P. Mahadevan, D. Krioukov, K. Fall, and A. Vahdat, “Systematic topology analysis and generation using degree correlations,” in ACM SIGCOMM Computer Communication Review , vol. 36, no. 4. ACM, 2006, pp. 135–146
2006
Earlier work this paper cites.
L. De Moura and N. Bjørner, “Z3: An efficient smt solver,” in International conference on Tools and Algorithms for the Construction and Analysis of Systems . Springer, 2008, pp. 337–340
2008
Earlier work this paper cites.
J. H. Perkins, S. Kim, S. Larsen, S. Amarasinghe, J. Bachrach, M. Carbin, C. Pacheco, F. Sherwood, S. Sidiroglou, G. Sullivan et al. , “Automatically patching errors in deployed software,” in Proceedings of the ACM SIGOPS 22nd symposium on Operating systems principles . ACM, 2009, pp. 87–102
2009
Earlier work this paper cites.
P. Akritidis, M. Costa, M. Castro, and S. Hand, “Baggy bounds checking: An efficient and backwards-compatible defense against out-of-bounds errors.” in USENIX Security Symposium , 2009, pp. 51–66
2009
Earlier work this paper cites.
M. E. Newman, “Random graphs with clustering,” Physical review letters , vol. 103, no. 5, p. 058701, 2009
2009
Earlier work this paper cites.
N. Hasabnis, A. Misra, and R. Sekar, “Light-weight bounds checking,” in Proceedings of the Tenth International Symposium on Code Generation and Optimization . ACM, 2012, pp. 135–144
2012
Earlier work this paper cites.
G. Bounova and O. De Weck, “Overview of metrics and their correlation patterns for multiple-metric topology analysis on heterogeneous graph ensembles,” Physical Review E , vol. 85, no. 1, p. 016117, 2012
2012
Earlier work this paper cites.
G. Wood, “Ethereum: A secure decentralised generalised transaction ledger,” Ethereum project yellow paper , vol. 151, pp. 1–32, 2014
2014
Earlier work this paper cites.
V. Buterin et al. , “A next-generation smart contract and decentralized application platform,” white paper , 2014
2014
Earlier work this paper cites.
Ethereum Foundation. Ethereum’s white paper , 2014, https://github.com/ethereum/wiki/wiki/White-Paper
2014
Earlier work this paper cites.
V. Buterin et al. , “A next-generation smart contract and decentralized application platform,” white paper , 2014
2014
Earlier work this paper cites.
M. Mainelli and M. Smith, “Sharing ledgers for sharing economies: an exploration of mutual distributed ledgers (aka blockchain technology),” Journal of Financial Perspectives , vol. 3, no. 3, 2015
2015
Earlier work this paper cites.
P. Tasca, “Digital currencies: Principles, trends, opportunities, and risks,” Trends, Opportunities, and Risks (September 7, 2015) , 2015
2015
Earlier work this paper cites.
G. Bigi, A. Bracciali, G. Meacci, and E. Tuosto, “Validation of decentralised smart contracts through game theory and formal methods,” in Programming Languages with Applications to Biology and Security . Springer, 2015, pp. 142–161
2015
Earlier work this paper cites.
X. Xu, C. Pautasso, L. Zhu, V. Gramoli, A. Ponomarev, A. B. Tran, and S. Chen, “The blockchain as a software connector,” in Software Architecture (WICSA), 2016 13th Working IEEE/IFIP Conference on . IEEE, 2016, pp. 182–191
2016
Earlier work this paper cites.
G. W. Peters and E. Panayi, “Understanding modern banking ledgers through blockchain technologies: Future of transaction processing and smart contracts on the internet of money,” in Banking beyond banks and money . Springer, 2016, pp. 239–278
2016
Earlier work this paper cites.
C. Cachin, “Architecture of the hyperledger blockchain fabric,” in Workshop on Distributed Cryptocurrencies and Consensus Ledgers , 2016
2016
Earlier work this paper cites.
M. Raskin and D. Yermack, “Digital currencies, decentralized ledgers, and the future of central banking,” National Bureau of Economic Research, Tech. Rep., 2016
2016
Earlier work this paper cites.
P. L. Seijas, S. J. Thompson, and D. McAdams, “Scripting smart contracts for distributed ledger technology.” IACR Cryptology ePrint Archive , vol. 2016, p. 1156, 2016
2016
Earlier work this paper cites.
W. Egbertsen, G. Hardeman, M. van den Hoven, G. van der Kolk, and A. van Rijsewijk, “Replacing paper contracts with ethereum smart contracts,” 2016
2016
Earlier work this paper cites.
S. A. Abeyratne and R. P. Monfared, “Blockchain ready manufacturing supply chain using distributed ledger,” International Journal of Research in Engineering and Technology , vol. 5, pp. 1–10, 2016
2016
Earlier work this paper cites.
A. Azaria, A. Ekblaw, T. Vieira, and A. Lippman, “Medrec: Using blockchain for medical data access and permission management,” in 2016 2nd International Conference on Open and Big Data (OBD) . IEEE, 2016, pp. 25–30
2016
Earlier work this paper cites.
M. Mettler, “Blockchain technology in healthcare: The revolution starts here,” in 2016 IEEE 18th International Conference on e-Health Networking, Applications and Services (Healthcom) . IEEE, 2016, pp. 1–3
2016
Earlier work this paper cites.
K. Christidis and M. Devetsikiotis, “Blockchains and smart contracts for the internet of things,” Ieee Access , vol. 4, pp. 2292–2303, 2016
2016
Earlier work this paper cites.
A. Bahga and V. K. Madisetti, “Blockchain platform for industrial internet of things,” Journal of Software Engineering and Applications , vol. 9, no. 10, p. 533, 2016
2016
Earlier work this paper cites.
C. Natoli and V. Gramoli, “The blockchain anomaly,” in Network Computing and Applications (NCA), 2016 IEEE 15th International Symposium on . IEEE, 2016, Conference Proceedings, pp. 310–317
2016
Earlier work this paper cites.
J. R. Hendrickson, T. L. Hogan, and W. J. Luther, “The political economy of bitcoin,” Economic Inquiry , vol. 54, no. 2, pp. 925–939, 2016
2016
Earlier work this paper cites.
K. Delmolino, M. Arnett, A. Kosba, A. Miller, and E. Shi, “Step by step towards creating a safe smart contract: Lessons and insights from a cryptocurrency lab,” in International Conference on Financial Cryptography and Data Security . Springer, 2016, pp. 79–94
2016
Earlier work this paper cites.
L. Luu, D.-H. Chu, H. Olickel, P. Saxena, and A. Hobor, “Making smart contracts smarter,” in Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications Security . ACM, 2016, Conference Proceedings, pp. 254–269
2016
Earlier work this paper cites.
Understanding The DAO Attack , 2016, https://www.coindesk.com/understanding-dao-hack-journalists/
2016
Earlier work this paper cites.
K. Bhargavan, A. Delignat-Lavaud, C. Fournet, A. Gollamudi, G. Gonthier, N. Kobeissi, N. Kulatova, A. Rastogi, T. Sibut-Pinote, and N. Swamy, “Formal verification of smart contracts: Short paper,” in Proceedings of the 2016 ACM Workshop on Programming Languages and Analysis for Security . ACM, 2016, Conference Proceedings, pp. 91–96
2016
Earlier work this paper cites.
B. Marino and A. Juels, “Setting standards for altering and undoing smart contracts,” in International Symposium on Rules and Rule Markup Languages for the Semantic Web . Springer, 2016, pp. 151–166
2016
Earlier work this paper cites.
H. Jordan, B. Scholz, and P. Subotić, “Soufflé: On synthesis of program analyzers,” in International Conference on Computer Aided Verification . Springer, 2016, pp. 422–430
2016
Earlier work this paper cites.
O. Bussmann, “The future of finance: fintech, tech disruption, and orchestrating innovation,” in Equity Markets in Transition . Springer, 2017, pp. 473–486
2017
Earlier work this paper cites.
T. Ahram, A. Sargolzaei, S. Sargolzaei, J. Daniels, and B. Amaba, “Blockchain technology innovations,” in Technology and Engineering Management Conference (TEMSCON), 2017 IEEE . IEEE, 2017, Conference Proceedings, pp. 137–141
2017
Earlier work this paper cites.
X. Xu, I. Weber, M. Staples, L. Zhu, J. Bosch, L. Bass, C. Pautasso, and P. Rimba, “A taxonomy of blockchain-based systems for architecture design,” in Software Architecture (ICSA), 2017 IEEE International Conference on . IEEE, 2017, pp. 243–252
2017
Earlier work this paper cites.
I. Weber, V. Gramoli, A. Ponomarev, M. Staples, R. Holz, A. B. Tran, and P. Rimba, “On availability for blockchain-based systems,” in Reliable Distributed Systems (SRDS), 2017 IEEE 36th Symposium on . IEEE, 2017, Conference Proceedings, pp. 64–73
2017
Earlier work this paper cites.
2017
Cited alongside, same era.
I. Eyal, “Blockchain technology: Transforming libertarian cryptocurrency dreams to finance and banking realities,” Computer , vol. 50, no. 9, pp. 38–49, 2017
2017
Cited alongside, same era.
P. Treleaven, R. G. Brown, and D. Yang, “Blockchain technology in finance,” Computer , vol. 50, no. 9, pp. 14–17, 2017
2017
Cited alongside, same era.
S. Chen, R. Shi, Z. Ren, J. Yan, Y. Shi, and J. Zhang, “A blockchain-based supply chain quality management framework,” in 2017 IEEE 14th International Conference on e-Business Engineering (ICEBE) . IEEE, 2017, pp. 172–176
2017
Cited alongside, same era.
M. Wohrer and U. Zdun, “Smart contracts: security patterns in the ethereum ecosystem and solidity,” in 2018 International Workshop on Blockchain Oriented Software Engineering (IWBOSE) . IEEE, 2018, pp. 2–8
2018
Later among the works it cites.
R. M. Parizi, A. Dehghantanha et al. , “Smart contract programming languages on blockchains: An empirical evaluation of usability and security,” in International Conference on Blockchain . Springer, 2018, pp. 75–91
2018
Later among the works it cites.
G. Destefanis, M. Marchesi, M. Ortu, R. Tonelli, A. Bracciali, and R. Hierons, “Smart contracts vulnerabilities: a call for blockchain software engineering?” in 2018 International Workshop on Blockchain Oriented Software Engineering (IWBOSE) . IEEE, 2018, pp. 19–25
2018
Later among the works it cites.
S. Wang, Y. Yuan, X. Wang, J. Li, R. Qin, and F.-Y. Wang, “An overview of smart contract: architecture, applications, and future trends,” in 2018 IEEE Intelligent Vehicles Symposium (IV) . IEEE, 2018, pp. 108–113
2018
alphaXiv searches the wider corpus for related work and actual follow-ups.
alphaXiv is searching for related work…
2017
Cited alongside, same era.
M. Mylrea and S. N. G. Gourisetti, “Blockchain for smart grid resilience: Exchanging distributed energy at speed, scale and security,” in 2017 Resilience Week (RWS) . IEEE, 2017, pp. 18–23
2017
Cited alongside, same era.
N. Kshetri, “Can blockchain strengthen the internet of things?” IT professional , vol. 19, no. 4, pp. 68–72, 2017
2017
Cited alongside, same era.
S. Huh, S. Cho, and S. Kim, “Managing iot devices using blockchain platform,” in 2017 19th international conference on advanced communication technology (ICACT) . IEEE, 2017, pp. 464–467
2017
Cited alongside, same era.
S. Ølnes, J. Ubacht, and M. Janssen, “Blockchain in government: Benefits and implications of distributed ledger technology for information sharing,” 2017
2017
Cited alongside, same era.
M. Staples, S. Chen, S. Falamaki, A. Ponomarev, P. Rimba, A. Tran, I. Weber, X. Xu, and J. Zhu, “Risks and opportunities for systems using blockchain and smart contracts. data61,” 2017
2017
Cited alongside, same era.
H. Kakavand, N. Kost De Sevres, and B. Chilton, “The blockchain revolution: An analysis of regulation and technology related to distributed ledger technologies,” Bart, The Blockchain Revolution: An Analysis of Regulation and Technology Related to Distributed Ledger Technologies (January 1, 2017) , 2017
2017
Cited alongside, same era.
M. Fröwis and R. Böhme, “In code we trust?” in Data Privacy Management, Cryptocurrencies and Blockchain Technology . Springer, 2017, pp. 357–372
2017
Cited alongside, same era.
Later among the works it cites.
S. Kalra, S. Goel, M. Dhawan, and S. Sharma, “Zeus: Analyzing safety of smart contracts,” in Proceedings of NDSS , 2018, Conference Proceedings
2018
Later among the works it cites.
2018
Later among the works it cites.
P. Tsankov, A. Dan, D. Drachsler-Cohen, A. Gervais, F. Buenzli, and M. Vechev, “Securify: Practical security analysis of smart contracts,” in Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications Security . ACM, 2018, pp. 67–82
2018
Later among the works it cites.
S. Amani, M. Bégel, M. Bortin, and M. Staples, “Towards verifying ethereum smart contract bytecode in isabelle/hol,” in Proceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs . ACM, 2018, pp. 66–77
2018
Later among the works it cites.
E. Albert, P. Gordillo, B. Livshits, A. Rubio, and I. Sergey, “Ethir: A framework for high-level analysis of ethereum bytecode,” in International Symposium on Automated Technology for Verification and Analysis . Springer, 2018, pp. 513–520
2018
Later among the works it cites.
T. Abdellatif and K.-L. Brousmiche, “Formal verification of smart contracts based on users and blockchain behaviors models,” in 2018 9th IFIP International Conference on New Technologies, Mobility and Security (NTMS) . IEEE, 2018, pp. 1–5
2018
Later among the works it cites.
T. Chen, Y. Zhu, Z. Li, J. Chen, X. Li, X. Luo, X. Lin, and X. Zhang, “Understanding ethereum via graph analysis,” in Proc. INFOCOM , 2018
2018
Later among the works it cites.
X. Bai, Z. Cheng, Z. Duan, and K. Hu, “Formal modeling and verification of smart contracts,” in Proceedings of the 2018 7th International Conference on Software and Computer Applications . ACM, 2018, pp. 322–326
2018
Later among the works it cites.
E. Hildenbrandt, M. Saxena, N. Rodrigues, X. Zhu, P. Daian, D. Guth, B. Moore, D. Park, Y. Zhang, A. Stefanescu et al. , “Kevm: A complete formal semantics of the ethereum virtual machine,” in 2018 IEEE 31st Computer Security Foundations Symposium (CSF) . IEEE, 2018, pp. 204–217
2018
Later among the works it cites.
S. Bragagnolo, H. Rocha, M. Denker, and S. Ducasse, “Smartinspect: solidity smart contract inspector,” in 2018 International Workshop on Blockchain Oriented Software Engineering (IWBOSE) . IEEE, 2018, pp. 9–18
2018
Later among the works it cites.
I. Grishchenko, M. Maffei, and C. Schneidewind, “Foundations and tools for the static analysis of ethereum smart contracts,” in International Conference on Computer Aided Verification . Springer, 2018, pp. 51–78
2018
Later among the works it cites.
——, “A semantic framework for the security analysis of ethereum smart contracts,” in International Conference on Principles of Security and Trust . Springer, 2018, pp. 243–269
2018
Later among the works it cites.
A. Mense and M. Flatscher, “Security vulnerabilities in ethereum smart contracts,” in Proceedings of the 20th International Conference on Information Integration and Web-based Applications & Services . ACM, 2018, pp. 375–380
2018
Later among the works it cites.
2018
Later among the works it cites.
Z. Yang, “Formal process virtual machine for smart contracts verification,” International Journal of Performability Engineering , 2018. [Online]. Available: http://dx.doi.org/10.23940/ijpe.18.08.p9.17261734
2018
Later among the works it cites.
2018
Later among the works it cites.
L. Alt and C. Reitwiessner, “Smt-based verification of solidity smart contracts,” in International Symposium on Leveraging Applications of Formal Methods . Springer, 2018, pp. 376–388
2018
Later among the works it cites.
R. M. Parizi, A. Dehghantanha, K.-K. R. Choo, and A. Singh, “Empirical vulnerability analysis of automated smart contracts security testing on blockchains,” in Proceedings of the 28th Annual International Conference on Computer Science and Software Engineering . IBM Corp., 2018, pp. 103–113
2018
Later among the works it cites.
M. Pustišek and A. Kos, “Approaches to front-end iot application development for the ethereum blockchain,” Procedia Computer Science , vol. 129, pp. 410–419, 2018
2018
Later among the works it cites.
K. Iyer and C. Dannen, “Contract security,” in Building Games with Ethereum Smart Contracts . Springer, 2018, pp. 91–127
2018
Later among the works it cites.
2018
Later among the works it cites.
C. Liu, H. Liu, Z. Cao, Z. Chen, B. Chen, and B. Roscoe, “Reguard: finding reentrancy bugs in smart contracts,” in Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings . ACM, 2018, pp. 65–68
2018
Later among the works it cites.
N. Grech, M. Kong, A. Jurisevic, L. Brent, B. Scholz, and Y. Smaragdakis, “Madmax: Surviving out-of-gas conditions in ethereum smart contracts,” Proceedings of the ACM on Programming Languages , vol. 2, no. OOPSLA, p. 116, 2018
2018
Later among the works it cites.
2018
Later among the works it cites.
S. Tikhomirov, E. Voskresenskaya, I. Ivanitskiy, R. Takhaviev, E. Marchenko, and Y. Alexandrov, “Smartcheck: Static analysis of ethereum smart contracts,” in 2018 IEEE/ACM 1st International Workshop on Emerging Trends in Software Engineering for Blockchain (WETSEB) . IEEE, 2018, pp. 9–16
2018
Later among the works it cites.
2018
Later among the works it cites.
J. Krupp and C. Rossow, “teether: Gnawing at ethereum to automatically exploit smart contracts,” in 27th { \{ USENIX } \} Security Symposium ( { \{ USENIX } \} Security 18) , 2018, pp. 1317–1333
2018
Later among the works it cites.
L. W. Cong and Z. He, “Blockchain disruption and smart contracts,” The Review of Financial Studies , vol. 32, no. 5, pp. 1754–1797, 2019
2019
Closest in time.
K. Czachorowski, M. Solesvik, and Y. Kondratenko, “The application of blockchain technology in the maritime industry,” in Green IT Engineering: Social, Business and Industrial Applications . Springer, 2019, pp. 561–577
2019
Closest in time.
S.-M. Lee, S. Park, and Y. B. Park, “Formal specification technique in smart contract verification,” in 2019 International Conference on Platform Technology and Service (PlatCon) . IEEE, 2019, pp. 1–4
2019
Closest in time.
S. Rouhani and R. Deters, “Security, performance, and applications of smart contracts: A systematic survey,” IEEE Access , 2019
2019
Closest in time.
M. Di Angelo and G. Salzer, “A survey of tools for analyzing ethereum smart contracts,” in 2019 IEEE International Conference on Decentralized Applications and Infrastructures (DAPPCON) . IEEE, 2019
2019
Closest in time.
S. Lee, C. Yoon, H. Kang, Y. Kim, Y. Kim, D. Han, S. Son, and S. Shin, “Cybercriminal minds: an investigative study of cryptocurrency abuses in the dark web,” in Network and Distributed System Security Symposium . Internet Society, 2019, pp. 1–15
2019
Closest in time.
M. Di Angelo and G. Salzer, “A survey of tools for analyzing ethereum smart contracts,” in 2019 IEEE International Conference on Decentralized Applications and Infrastructures (DAPPCON) . IEEE, 2019
2019
Closest in time.
Z. Yang and H. Lei, “Fether: An extensible definitional interpreter for smart-contract verifications in coq.” IEEE Access , 2019
2019
Closest in time.
2019
Closest in time.
I. Kremenova and M. Gajdos, “Decentralized networks: The future internet,” Mobile Networks and Applications , pp. 1–8, 2019
2019
Closest in time.
J. Gao, H. Liu, C. Liu, Q. Li, Z. Guan, and Z. Chen, “Easyflow: Keep ethereum away from overflow,” in Proceedings of the 41st International Conference on Software Engineering: Companion Proceedings . IEEE Press, 2019, pp. 23–26
2019
Closest in time.
L. W. Cong and Z. He, “Blockchain disruption and smart contracts,” The Review of Financial Studies , vol. 32, no. 5, pp. 1754–1797, 2019
2019
Closest in time.