Fetching the paper…
Reading the bibliography…
The blockchain technology is believed by many to be a game changer in many application domains, especially financial applications.
J. C. King, “Symbolic execution and program testing,” Communications of the ACM
1976
Earlier work this paper cites.
P. Cousot and R. Cousot, “Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints,” in Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
1977
Earlier work this paper cites.
D. Chaum, “Blind signatures for untraceable payments,” in Advances in Cryptology: Proceedings of CRYPTO ’82, Santa Barbara, California, USA, August 23-25, 1982
1982
Earlier work this paper cites.
M. J. Fischer, N. A. Lynch, and M. S. Paterson, “Impossibility of distributed consensus with one faulty process.,” tech. rep., MASSACHUSETTS INST OF TECH CAMBRIDGE LAB FOR COMPUTER SCIENCE, 1982
1982
Earlier work this paper cites.
M. J. Fischer, N. A. Lynch, and M. Paterson, “Impossibility of distributed consensus with one faulty process,” J. ACM
1985
Earlier work this paper cites.
C. Dwork and M. Naor, “Pricing via processing or combatting junk mail,” in Advances in Cryptology - CRYPTO ’92, 12th Annual International Cryptology Conference, Santa Barbara, California, USA, August 16-20, 1992, Proceedings
1992
Earlier work this paper cites.
P. Maymounkov and D. Mazieres, “Kademlia: A peer-to-peer information system based on the xor metric,” in International Workshop on Peer-to-Peer Systems
2002
Earlier work this paper cites.
Springer Science & Business Media, 2002
T. Nipkow, L. C. Paulson, and M. Wenzel, Isabelle/HOL: a proof assistant for higher-order logic · 2002
Earlier work this paper cites.
D. M. Nicol, W. H. Sanders, and K. S. Trivedi, “Model-based evaluation: From dependability to security,” IEEE Trans. Dependable Sec. Comput
2004
Earlier work this paper cites.
S. Nakamoto, “Bitcoin: A peer-to-peer electronic cash system,” 2008
2008
Earlier work this paper cites.
S. Xu, W. Lu, and L. Xu, “Push- and pull-based epidemic spreading in arbitrary networks: Thresholds and deeper insights,” ACM Transactions on Autonomous and Adaptive Systems (ACM TAAS)
2012
Earlier work this paper cites.
G. Wood, “Ethereum: A secure decentralised generalised transaction ledger,” Ethereum project yellow paper
2014
Earlier work this paper cites.
S. Omohundro, “Cryptocurrencies, smart contracts, and artificial intelligence,” AI matters
2014
Earlier work this paper cites.
“How to disincentivize large bitcoin mining pools.” http://hackingdistributed.com/2014/06/18/how-to-disincentivize-large-bitcoin-mining-pools/
2014
Earlier work this paper cites.
S. Xu, “Cybersecurity dynamics,” in Proc. Symposium on the Science of Security (HotSoS’14)
2014
Earlier work this paper cites.
S. Xu, “Emergent behavior in cybersecurity,” in Proceedings of the 2014 Symposium on the Science of Security (HotSoS’14)
2014
Earlier work this paper cites.
Y. Han, W. Lu, and S. Xu, “Characterizing the power of moving target defense via cyber epidemic dynamics,” in Proc. 2014 Symposium on the Science of Security (HotSoS’14)
2014
Earlier work this paper cites.
J. Bonneau, A. Miller, J. Clark, A. Narayanan, J. A. Kroll, and E. W. Felten, “Sok: Research perspectives and challenges for bitcoin and cryptocurrencies,” in 2015 IEEE Symposium on Security and Privacy
2015
Earlier work this paper cites.
Y. Sompolinsky and A. Zohar, “Secure high-rate transaction processing in bitcoin,” in International Conference on Financial Cryptography and Data Security
2015
Earlier work this paper cites.
J. Garay, A. Kiayias, and N. Leonardos, “The bitcoin backbone protocol: Analysis and applications,” in Annual International Conference on the Theory and Applications of Cryptographic Techniques
2015
Earlier work this paper cites.
A. Miller, A. Kosba, J. Katz, and E. Shi, “Nonoutsourceable scratch-off puzzles to discourage bitcoin mining coalitions,” in Proceedings of the 22nd ACM SIGSAC Conference on Computer and Communications Security
2015
Earlier work this paper cites.
R. Zheng, W. Lu, and S. Xu, “Active cyber defense dynamics exhibiting rich phenomena,” in Proc. 2015 Symposium on the Science of Security (HotSoS’15)
2015
Earlier work this paper cites.
M. Xu, G. Da, and S. Xu, “Cyber epidemic models with dependences,” Internet Mathematics
2015
Earlier work this paper cites.
F. Tschorsch and B. Scheuermann, “Bitcoin and beyond: A technical survey on decentralized digital currencies,” IEEE Communications Surveys Tutorials
2016
Earlier work this paper cites.
“Analysis of the dao exploit.” http://hackingdistributed.com/2016/06/18/analysis-of-the-dao-exploit/
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
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
2016
Earlier work this paper cites.
“Transaction spam attack: Next steps.” https://blog.ethereum.org/2016/09/22/transaction-spam-attack-next-steps/
2016
Earlier work this paper cites.
A. Gervais, G. O. Karame, K. Wüst, V. Glykantzis, H. Ritzdorf, and S. Capkun, “On the security and performance of proof of work blockchains,” in Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications Security
2016
Earlier work this paper cites.
K. Wüst and A. Gervais, “Ethereum eclipse attacks,” tech. rep., ETH Zurich, 2016
2016
Earlier work this paper cites.
2016
Earlier work this paper cites.
N. Swamy, C. Hriţcu, C. Keller, A. Rastogi, A. Delignat-Lavaud, S. Forest, K. Bhargavan, C. Fournet, P.-Y. Strub, M. Kohlweiss, et al
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, N. Swamy, et al
2016
Earlier work this paper cites.
A. Kosba, A. Miller, E. Shi, Z. Wen, and C. Papamanthou, “Hawk: The blockchain model of cryptography and privacy-preserving smart contracts,” in 2016 IEEE symposium on security and privacy (SP)
2016
Earlier work this paper cites.
F. Zhang, E. Cecchetti, K. Croman, A. Juels, and E. Shi, “Town crier: An authenticated data feed for smart contracts,” in Proceedings of the 2016 aCM sIGSAC conference on computer and communications security
2016
Earlier work this paper cites.
M. Pendleton, R. Garcia-Lebron, J.-H. Cho, and S. Xu, “A survey on systems security metrics,” ACM Comput. Surv
2016
Earlier work this paper cites.
N. Atzei, M. Bartoletti, and T. Cimoli, “A survey of attacks on ethereum smart contracts (sok),” in Principles of Security and Trust
2017
Earlier work this paper cites.
“A survey on the security of blockchain systems,” Future Generation Computer Systems
2017
Earlier work this paper cites.
C. Cachin and M. Vukolic, “Blockchain consensus protocols in the wild,” CoRR
2017
Earlier work this paper cites.
2017
Cited alongside, same era.
PhD thesis, 2017
S. Kim, Measuring Ethereum’s peer-to-peer network · 2017
Cited alongside, same era.
T. Chen, X. Li, Y. Wang, J. Chen, Z. Li, X. Luo, M. H. Au, and X. Zhang, “An adaptive gas cost mechanism for ethereum to defend against under-priced dos attacks,” in International Conference on Information Security Practice and Experience
2017
Cited alongside, same era.
“To sink frontrunners, send in the submarines.” http://hackingdistributed.com/2017/08/28/submarine-sends/
2017
Cited alongside, same era.
P. Daian, I. Eyal, A. Juels, and E. G. Sirer, “(short paper) piecework: Generalized outsourcing control for proofs of work,” in International Conference on Financial Cryptography and Data Security
X. Wang, X. Zha, G. Yu, W. Ni, R. P. Liu, Y. J. Guo, X. Niu, and K. Zheng, “Attack and defence of ethereum remote apis,” in 2018 IEEE Globecom Workshops (GC Wkshps)
2018
Later among the works it cites.
A. Mitseva, A. Panchenko, and T. Engel, “The state of affairs in bgp security: A survey of attacks and defenses,” Computer Communications
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)
2018
Later among the works it cites.
“Batchoverflow.” http://cve.mitre.org/cgi-bin/cvename.cgi?name=CVE-2018-10299
2018
Later among the works it cites.
alphaXiv searches the wider corpus for related work and actual follow-ups.
alphaXiv is searching for related work…
2017
Cited alongside, same era.
X. Li, P. Jiang, T. Chen, X. Luo, and Q. Wen, “A survey on the security of blockchain systems,” Future Generation Computer Systems
2017
Cited alongside, same era.
V. Gramoli, “From blockchain consensus back to byzantine consensus,” Future Generation Computer Systems
2017
Cited alongside, same era.
“Hackers nab $500,000 as enigma is compromised weeks before its ico.” https://techcrunch.com/2017/08/21/hack-enigma-500000-ico/
2017
Cited alongside, same era.
“An in-depth look at the parity multisig bug.” http://hackingdistributed.com/2017/07/22/deep-dive-parity-bug/
2017
Cited alongside, same era.
2017
Cited alongside, same era.
L. Kiffer, D. Levin, and A. Mislove, “Stick a fork in it: Analyzing the ethereum network partition,” in Proceedings of the 16th ACM Workshop on Hot Topics in Networks
2017
Cited alongside, same era.
C. Natoli and V. Gramoli, “The balance attack or why forkable blockchains are ill-suited for consortium,” in 2017 47th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN)
2017
Cited alongside, same era.
2018
Later among the works it cites.
P. Ekparinya, V. Gramoli, and G. Jourjon, “Impact of man-in-the-middle attacks on ethereum,” in 2018 IEEE 37th Symposium on Reliable Distributed Systems (SRDS)
2018
Later among the works it cites.
F. Schrans, S. Eisenbach, and S. Drossopoulou, “Writing safe smart contracts in flint,” in Conference Companion of the 2nd International Conference on Art, Science, and Engineering of Programming
2018
Later among the works it cites.
2018
Later among the works it cites.
2018
Later among the works it cites.
2018
Later among the works it cites.
Y. Zhou, D. Kumar, S. Bakshi, J. Mason, A. Miller, and M. Bailey, “Erays: Reverse engineering ethereum’s opaque smart contracts,” in USENIX Security
2018
Later among the works it cites.
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
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
2018
Later among the works it cites.
D. Park, Y. Zhang, M. Saxena, P. Daian, and G. Roşu, “A formal verification tool for ethereum vm bytecode,” in Proceedings of the 2018 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering
2018
Later among the works it cites.
I. Grishchenko, M. Maffei, and C. Schneidewind, “A semantic framework for the security analysis of ethereum smart contracts,” in International Conference on Principles of Security and Trust
2018
Later among the works it cites.
I. Grishchenko, M. Maffei, and C. Schneidewind, “Ethertrust: Sound static analysis of ethereum bytecode,” Technische Universität Wien, Tech. Rep
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
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
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)
2018
Later among the works it cites.
2018
Later among the works it cites.
J. Ellul and G. J. Pace, “Runtime verification of ethereum smart contracts,” in 2018 14th European Dependable Computing Conference (EDCC)
2018
Later among the works it cites.
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)
2018
Later among the works it cites.
2018
Later among the works it cites.
R. Zheng, W. Lu, and S. Xu, “Preventive and reactive cyber defense dynamics is globally stable,” IEEE Trans. Network Science and Engineering
2018
Later among the works it cites.
H. Chen, J. Cho, and S. Xu, “Quantifying the security effectiveness of firewalls and dmzs,” in Proceedings of the 5th Annual Symposium on Hot Topics in the Science of Security (HoTSoS’2018)
2018
Later among the works it cites.
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)
2019
Closest in time.
2019
Closest in time.
2019
Closest in time.
W. Wang, D. T. Hoang, P. Hu, Z. Xiong, D. Niyato, P. Wang, Y. Wen, and D. I. Kim, “A survey on consensus mechanisms and mining strategy management in blockchain networks,” IEEE Access
2019
Closest in time.
J. Niu and C. Feng, “Selfish mining in ethereum,” arXiv preprint arXiv:1901.04620
2019
Closest in time.
2019
Closest in time.
S. Xu, “Cybersecurity dynamics: A foundation for the science of cybersecurity,” in Proactive and Dynamic Network Defense
2019
Closest in time.
Z. Lin, W. Lu, and S. Xu, “Unified preventive and reactive cyber defense dynamics is still globally convergent,” IEEE/ACM Trans. Netw
2019
Closest in time.
J. D. Mireles, E. Ficke, J.-H. Cho, P. Hurley, and S. Xu, “Metrics towards measuring cyber agility.” IEEE Transaction on Information Forensics & Security, 2019 (accepted for publication)
2019
Closest in time.
J.-H. Cho, S. Xu, P. M. Hurley, M. Mackay, T. Benjamin, and M. Beaumont, “Stram: Measuring the trustworthiness of computer-based systems,” ACM Comput. Surv
2019
Closest in time.