human: Given a hyperedge-centered hypergraph: <hypergraph>, where the center hyperedge is induced by one source paper and its member nodes are the cited papers.

Details of the hypergraph:
Center hyperedge (induced by source paper "security analysis methods on ethereum smart contract vulnerabilities a survey"):
  Abstract: Smart contracts are software programs featuring both traditional applications and distributed data storage on blockchains. Ethereum is a prominent blockchain platform with the support of smart contracts. The smart contracts act as autonomous agents in critical decentralized applications and hold a significant amount of cryptocurrency to perform trusted transactions and agreements. Millions of dollars as part of the assets held by the smart contracts were stolen or frozen through the notorious attacks just between 2016 and 2018, such as the DAO attack, Parity Multi-Sig Wallet attack, and the integer underflow/overflow attacks. These attacks were caused by a combination of technical flaws in designing and implementing software codes. However, many more vulnerabilities of less severity are to be discovered because of the scripting natures of the Solidity language and the non-updateable feature of blockchains. Hence, we surveyed 16 security vulnerabilities in smart contract programs, and some vulnerabilities do not have a proper solution. This survey aims to identify the key vulnerabilities in smart contracts on Ethereum in the perspectives of their internal mechanisms and software security vulnerabilities. By correlating 16 Ethereum vulnerabilities and 19 software security issues, we predict that many attacks are yet to be exploited. And we have explored many software tools to detect the security vulnerabilities of smart contracts in terms of static analysis, dynamic analysis, and formal verification. This survey presents the security problems in smart contracts together with the available analysis tools and the detection methods. We also investigated the limitations of the tools or analysis methods with respect to the identified security vulnerabilities of the smart contracts.

Includes members:
  Member "easyflow keep ethereum away from overflow":
    also connected through other hyperedges:
      - Hyperedge HE-1 (induced by source paper "security analysis of eosio smart contracts")
  Member "a security case study for blockchain games":
    also connected through other hyperedges:
      - Hyperedge HE-2 (induced by source paper "security analysis of eosio smart contracts")
  Member "a hybrid formal verification system in coq for ensuring the reliability and security of ethereum based service smart contracts":
    also connected through other hyperedges:
      (none)
  Member "finding the greedy prodigal and suicidal contracts at scale":
    also connected through other hyperedges:
      - Hyperedge HE-3 (induced by source paper "an overview on smart contracts challenges advances and platforms")
  Member "ethir a framework for high level analysis of ethereum bytecode":
    also connected through other hyperedges:
      - Hyperedge HE-4 (induced by source paper "an overview on smart contracts challenges advances and platforms")
  Member "formal process virtual machine for smart contracts verification":
    also connected through other hyperedges:
      - Hyperedge HE-5 (induced by source paper "a hybrid formal verification system in coq for ensuring the reliability and security of ethereum based service smart contracts")
  Member "scilla a smart contract intermediate level language":
    also connected through other hyperedges:
      - Hyperedge HE-6 (induced by source paper "albert an intermediate smart contract language for the tezos blockchain")
  Member "empirical vulnerability analysis of automated smart contracts security testing on blockchains":
    also connected through other hyperedges:
      - Hyperedge HE-7 (induced by source paper "smart contract development from the perspective of developers topics and issues discussed on social media")

Question: Please tell me which class the source paper belongs to. The 40 classes are: cs.NA(Numerical Analysis), cs.MM(Multimedia), cs.LO(Logic in Computer Science), cs.CY(Computers and Society), cs.CR(Cryptography and Security), cs.DC(Distributed, Parallel, and Cluster Computing), cs.HC(Human-Computer Interaction), cs.CE(Computational Engineering, Finance, and Science), cs.NI(Networking and Internet Architecture), cs.CC(Computational Complexity), cs.AI(Artificial Intelligence), cs.MA(Multiagent Systems), cs.GL(General Literature), cs.NE(Neural and Evolutionary Computing), cs.SC(Symbolic Computation), cs.AR(Hardware Architecture), cs.CV(Computer Vision and Pattern Recognition), cs.GR(Graphics), cs.ET(Emerging Technologies), cs.SY(Systems and Control), cs.CG(Computational Geometry), cs.OH(Other Computer Science), cs.PL(Programming Languages), cs.SE(Software Engineering), cs.LG(Machine Learning), cs.SD(Sound), cs.SI(Social and Information Networks), cs.RO(Robotics), cs.IT(Information Theory), cs.PF(Performance), cs.CL(Computation and Language), cs.IR(Information Retrieval), cs.MS(Mathematical Software), cs.FL(Formal Languages and Automata Theory), cs.DS(Data Structures and Algorithms), cs.OS(Operating Systems), cs.GT(Computer Science and Game Theory), cs.DB(Databases), cs.DL(Digital Libraries), cs.DM(Discrete Mathematics). Directly output the class name.

gpt: cs.CR(Cryptography and Security)